src/FOLP/simpdata.ML
Sun, 18 Sep 2005 14:25:48 +0200 wenzelm converted to Isar theory format;
Mon, 12 Sep 2005 18:20:32 +0200 haftmann introduced new-style AList operations
Thu, 03 Mar 2005 12:43:01 +0100 skalberg Move towards standard functions.
Sun, 13 Feb 2005 17:15:14 +0100 skalberg Deleted Library.option type.
Wed, 12 Aug 1998 16:21:18 +0200 oheimb the splitter is now defined as a functor
Fri, 10 Oct 1997 16:29:41 +0200 wenzelm fixed dots;
Mon, 10 Feb 1997 12:52:11 +0100 paulson Renamed structure Int (intuitionistic prover) to IntPr to prevent clash
less more (0) -7 tip