/INDEX/1.1/Wed Jul 19 17:15:36 1995 Tue Mar  7 18:40:13 1995//TB122
/permute.mu/1.1/Wed Jul 19 17:15:36 1995 Tue Jan 17 14:13:12 1995//TB122
/powerset.mu/1.2/Wed Jul 19 17:15:36 1995 Wed Jan 18 12:30:27 1995//TB122
/stirl1.mu/1.1/Wed Jul 19 17:15:36 1995 Tue Jan 17 14:13:19 1995//TB122
/stirl2.mu/1.1/Wed Jul 19 17:15:36 1995 Tue Jan 17 14:13:21 1995//TB122
