../ Makefile 17-Sep-1992 16:14 833 README 23-Apr-1991 02:31 1463 basic.doc 31-Oct-1989 16:24 11310 basic.p 31-Oct-1989 21:15 66611 cref.p 06-Nov-1989 01:42 11280 e.p 31-Oct-1989 13:13 2411 fact.p 31-Oct-1989 13:14 299 self.p 31-Oct-1989 14:20 1101