src/ZF/ex/CoUnit.ML
Mon, 15 Aug 1994 18:31:29 +0200 lcp ZF/ex/CoUnit/lleq_cs: copied from LList.ML
Fri, 12 Aug 1994 12:28:46 +0200 lcp installation of new inductive/datatype sections
Fri, 15 Jul 1994 13:34:31 +0200 clasohm added thy_name to Datatype_Fun's parameter
Fri, 01 Jul 1994 11:04:12 +0200 clasohm changed syntax of datatype declaration
Fri, 06 May 1994 15:35:35 +0200 lcp renaming/removal of filenames to correct case
less more (0) tip