src/HOL/IsaMakefile
Thu, 01 Jul 1999 21:28:49 +0200 wenzelm Isar_examples/KnasterTarski.thy;
Fri, 11 Jun 1999 10:33:43 +0200 paulson new UNITY files
Fri, 04 Jun 1999 19:57:31 +0200 wenzelm Calculation.thy: Setup transitivity rules for calculational proofs.
Fri, 04 Jun 1999 16:17:10 +0200 wenzelm added Isar_examples/Group.thy;
Wed, 26 May 1999 22:45:59 +0200 wenzelm ex/Points Isar'ized;
Wed, 26 May 1999 10:15:03 +0200 paulson new theories Follows and ListOrder
Wed, 28 Apr 1999 13:36:31 +0200 paulson eliminated theory UNITY/Traces
Tue, 27 Apr 1999 15:10:36 +0200 wenzelm added Isar_examples/NatSum.thy;
Tue, 27 Apr 1999 10:45:20 +0200 wenzelm added Isar_examples/Cantor.ML;
Fri, 23 Apr 1999 12:20:22 +0200 paulson Addition of Auth/KerberosIV; renaming of rules.new.sml to rules.sml
Thu, 22 Apr 1999 12:47:07 +0200 wenzelm tuned;
Thu, 22 Apr 1999 12:40:11 +0200 mueller deleted some old examples in Modelcheck;
Fri, 16 Apr 1999 17:46:02 +0200 wenzelm added Isar_examples;
Fri, 16 Apr 1999 14:49:34 +0200 wenzelm added Tools/induct_method.ML;
Wed, 14 Apr 1999 19:07:04 +0200 wenzelm Tools/inductive_package.ML;
Thu, 18 Mar 1999 11:19:03 +0100 paulson added new theory Yahalom_Bad
Wed, 03 Mar 1999 11:26:36 +0100 paulson added UNITY/Extend
Mon, 08 Feb 1999 13:02:42 +0100 wenzelm updated TLA;
Fri, 05 Feb 1999 21:12:18 +0100 wenzelm Hyperreal made part of Real;
Mon, 04 Jan 1999 15:07:47 +0100 nipkow Version 1.0 of linear nat arithmetic.
Fri, 27 Nov 1998 17:00:30 +0100 nipkow At last: linear arithmetic for nat!
Fri, 27 Nov 1998 13:13:22 +0100 paulson added Real/Hyperreal
Tue, 17 Nov 1998 10:29:28 +0100 paulson new theory UNITY/PPROD
Fri, 23 Oct 1998 16:11:01 +0200 narasche ex/Points added
Fri, 23 Oct 1998 12:59:03 +0200 berghofe Directory Induct: Added new theory ABexp, removed obsolete
Wed, 21 Oct 1998 16:34:18 +0200 wenzelm tuned;
Tue, 20 Oct 1998 16:39:14 +0200 wenzelm split_paired_all.ML;
Tue, 13 Oct 1998 10:32:59 +0200 paulson Addition of HOL/UNITY/Client
Fri, 09 Oct 1998 11:15:39 +0200 nipkow added Induct/Multiset*
Wed, 07 Oct 1998 10:30:47 +0200 paulson new files UNITY/Comp.{thy,ML}
Tue, 06 Oct 1998 14:39:53 +0200 nipkow Merges FoldSet into Finite
Fri, 02 Oct 1998 10:42:37 +0200 paulson new files Provers/Arith/abel_cancel.ML and Real/simproc.ML
Fri, 25 Sep 1998 14:04:22 +0200 paulson Renaming of Integ/Integ.* to Integ/Int.*
Fri, 18 Sep 1998 15:08:46 +0200 paulson new files in Integ
Mon, 07 Sep 1998 10:43:31 +0200 paulson New UNITY theory, the N-S protocol
Tue, 01 Sep 1998 15:04:59 +0200 paulson new theory Induct/FoldSet
Mon, 24 Aug 1998 18:17:25 +0200 wenzelm added Antiquote example;
Fri, 21 Aug 1998 15:56:12 +0200 paulson New UNITY files
Mon, 17 Aug 1998 11:00:27 +0200 nipkow Additions to Lex.
Wed, 12 Aug 1998 16:23:25 +0200 oheimb cleanup for Fun.thy:
Thu, 06 Aug 1998 12:46:18 +0200 nipkow New lemmas in List and Lambda in IsaMakefile
Tue, 04 Aug 1998 18:40:18 +0200 wenzelm added LocaleGroup, PiSets examples;
Fri, 31 Jul 1998 10:52:08 +0200 paulson Removed HOL/IMP/Com.ML because it contained only an "open" declaration
Fri, 24 Jul 1998 17:55:57 +0200 wenzelm added ex/MonoidGroups (record example);
Fri, 24 Jul 1998 13:03:20 +0200 berghofe Adapted to new datatype package.
Fri, 03 Jul 1998 17:35:39 +0200 wenzelm stepping stones: Recdef, Main;
Thu, 02 Jul 1998 16:44:39 +0200 wenzelm fixed Integ;
Tue, 30 Jun 1998 20:42:47 +0200 berghofe Adapted to new inductive definition package.
Thu, 25 Jun 1998 13:57:34 +0200 paulson Installation of target HOL-Real
Thu, 11 Jun 1998 18:18:37 +0200 nipkow removed rel.ML
Mon, 11 May 1998 13:18:25 +0200 nipkow Lex
Tue, 05 May 1998 17:28:22 +0200 paulson New syntax for function update; moved to main HOL directory
Wed, 29 Apr 1998 11:38:52 +0200 wenzelm removed typedef.ML, record.ML;
Mon, 27 Apr 1998 16:45:11 +0200 nipkow Added a few lemmas.
Fri, 03 Apr 1998 12:35:27 +0200 paulson New target HOL-UNITY
Wed, 11 Mar 1998 09:40:32 +0100 nipkow More Lex.
Mon, 09 Mar 1998 16:14:46 +0100 wenzelm tuned;
Thu, 26 Feb 1998 11:07:57 +0100 paulson New theory, Vimage
Wed, 07 Jan 1998 13:53:42 +0100 wenzelm improved targets;
Fri, 19 Dec 1997 12:09:08 +0100 wenzelm added record.ML;
less more (0) -60 tip