src/FOLP/classical.ML
Wed, 25 Feb 1998 20:29:58 +0100 oheimb renamed rep_claset to rep_cs
Fri, 19 Dec 1997 10:13:47 +0100 wenzelm adapted to new sort function;
Mon, 29 Jan 1996 13:58:15 +0100 clasohm expanded tabs
Tue, 12 Jul 1994 18:30:53 +0200 lcp chain_tac: deleted; just use etac mp
Thu, 16 Sep 1993 12:20:38 +0200 clasohm Initial revision
less more (0) tip