src/HOL/PreList.thy
Thu, 24 Jul 2003 16:35:51 +0200 paulson tidied
Tue, 25 Mar 2003 09:49:13 +0100 berghofe Added Presburger theory.
Thu, 04 Jul 2002 16:48:21 +0200 wenzelm tuned;
Thu, 21 Feb 2002 20:09:19 +0100 wenzelm removed theory Option;
Tue, 05 Feb 2002 23:18:08 +0100 wenzelm moved SVC stuff to ex;
Thu, 06 Dec 2001 00:39:40 +0100 wenzelm less_induct, wf_induct_rule;
Wed, 28 Nov 2001 00:37:40 +0100 wenzelm tuned declarations;
Fri, 02 Nov 2001 22:01:58 +0100 wenzelm theory Calculation move to Set;
Sat, 27 Oct 2001 00:00:38 +0200 wenzelm moved product cases/induct to theory Datatype;
Tue, 16 Oct 2001 17:51:50 +0200 wenzelm tuned;
Mon, 15 Oct 2001 21:04:32 +0200 kleing canonical 'cases'/'induct' rules for n-tuples (n=3..7)
Sat, 23 Dec 2000 22:50:39 +0100 wenzelm hide type node item;
Fri, 15 Dec 2000 17:59:30 +0100 wenzelm tuned comment;
Thu, 14 Dec 2000 19:36:48 +0100 wenzelm added Summation;
Fri, 24 Nov 2000 16:49:27 +0100 nipkow hide many names from Datatype_Universe.
Wed, 18 Oct 2000 23:40:17 +0200 wenzelm tuned declarations;
Thu, 12 Oct 2000 18:38:23 +0200 nipkow *** empty log message ***
Thu, 17 Aug 2000 10:33:37 +0200 wenzelm fixed deps;
Wed, 14 Jun 2000 17:59:53 +0200 wenzelm theorems [cases type: bool] = case_split;
Fri, 12 May 2000 15:05:02 +0200 paulson NatSimprocs is now a theory, not a file
Mon, 08 May 2000 20:59:30 +0200 wenzelm moved theory Sexp to Induct examples;
Fri, 21 Apr 2000 11:28:18 +0200 paulson new file Integ/NatSimprocs.ML
Fri, 24 Mar 2000 08:56:48 +0100 nipkow comments
Thu, 16 Mar 2000 00:35:27 +0100 wenzelm added HOL/PreLIst.thy;
less more (0) tip