src/FOLP/simpdata.ML
Fri, 04 Jan 2019 23:22:53 +0100 wenzelm isabelle update -u control_cartouches;
Fri, 24 Jul 2015 22:16:39 +0200 wenzelm proper context;
Sun, 05 Jul 2015 16:39:25 +0200 wenzelm clarified context;
Wed, 04 Mar 2015 19:53:18 +0100 wenzelm tuned signature -- prefer qualified names;
Mon, 20 Dec 2010 16:44:33 +0100 wenzelm proper identifiers for consts and types;
Sat, 13 Mar 2010 16:44:12 +0100 wenzelm removed old CVS Ids;
Tue, 18 Mar 2008 22:19:18 +0100 wenzelm converted legacy ML scripts;
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
Tue, 30 Jan 1996 15:12:53 +0100 clasohm expanded tabs
less more (0) -15 tip