Mon, 20 Jan 1997 10:27:45 +0100 paulson Now requests runtimes of all theories
Mon, 20 Jan 1997 10:20:58 +0100 paulson Simplified Oops case of main theorem
Mon, 20 Jan 1997 10:18:47 +0100 paulson Documents the new command "prlim"
Fri, 17 Jan 1997 19:29:38 +0100 nipkow Added W0 and modified MiniML.
Fri, 17 Jan 1997 19:26:47 +0100 nipkow Ball_Un -> ball_Un
Fri, 17 Jan 1997 18:50:04 +0100 nipkow The new version of MiniML including "let".
Fri, 17 Jan 1997 18:35:44 +0100 nipkow Algorithm I has not been ported to the polymorphic version yet.
Fri, 17 Jan 1997 18:32:24 +0100 nipkow Updated documentation pointers.
Fri, 17 Jan 1997 18:20:22 +0100 wenzelm added gen_overwrite;
Fri, 17 Jan 1997 18:19:57 +0100 wenzelm addsimps, addeqcongs: replaced @ by gen_union;
Fri, 17 Jan 1997 16:58:59 +0100 nipkow Incorporated Larry's changes.
Fri, 17 Jan 1997 16:17:31 +0100 paulson New rewrites for bounded quantifiers
Fri, 17 Jan 1997 13:21:54 +0100 nipkow This is the old version og MiniML for the monomorphic case.
Fri, 17 Jan 1997 13:16:36 +0100 nipkow Modified some defs and shortened proofs.
Fri, 17 Jan 1997 12:49:31 +0100 paulson Now with Andy Gordon's treatment of freshness to replace newN/K
Fri, 17 Jan 1997 11:50:09 +0100 paulson Deleted the redundant theorem subset_empty_iff (subset_empty exists already)
Fri, 17 Jan 1997 11:13:18 +0100 paulson Added the prlim command
Fri, 17 Jan 1997 11:09:19 +0100 paulson New miniscoping rules for the bounded quantifiers and UN/INT operators
Fri, 17 Jan 1997 10:09:46 +0100 nipkow Got rid of Alls in List.
Fri, 17 Jan 1997 10:04:28 +0100 nipkow Got rid of Alls in favour of !x:set_of_list
Thu, 16 Jan 1997 16:53:15 +0100 wenzelm binary oprations and relations;
Thu, 16 Jan 1997 14:53:37 +0100 wenzelm added termless parameter;
Thu, 16 Jan 1997 13:44:47 +0100 wenzelm added term order;
Mon, 13 Jan 1997 18:24:40 +0100 wenzelm improved error msg;
Mon, 13 Jan 1997 18:20:35 +0100 wenzelm added datatype order;
Mon, 13 Jan 1997 13:20:32 +0100 wenzelm added -? option;
Mon, 13 Jan 1997 09:29:55 +0100 wenzelm replaced unit refs by 'stamp';
Fri, 10 Jan 1997 10:27:57 +0100 wenzelm cleaned up (real changes next time);
Thu, 09 Jan 1997 17:16:50 +0100 wenzelm make all Isabelle systems afresh;
Thu, 09 Jan 1997 16:44:57 +0100 wenzelm *** empty log message ***
Thu, 09 Jan 1997 16:01:34 +0100 wenzelm IsaMakefile for ZF;
Thu, 09 Jan 1997 10:23:39 +0100 paulson Tidying of proofs. New theorems are enterred immediately into the
Thu, 09 Jan 1997 10:22:42 +0100 paulson New theorem add_leE
Thu, 09 Jan 1997 10:22:11 +0100 paulson New treatment of nonce creation
Thu, 09 Jan 1997 10:20:03 +0100 paulson Removal of needless "addIs [equality]", etc.
Wed, 08 Jan 1997 15:17:25 +0100 paulson New discussion of implicit simpsets & clasets
Wed, 08 Jan 1997 15:12:44 +0100 wenzelm IsaMakefile for HOLCF;
Wed, 08 Jan 1997 15:04:27 +0100 paulson Removal of sum_cs and eq_cs
Wed, 08 Jan 1997 15:03:53 +0100 wenzelm IsaMakefile for Sequents;
Wed, 08 Jan 1997 14:58:39 +0100 wenzelm IsaMakefile for CTT;
Wed, 08 Jan 1997 14:49:46 +0100 wenzelm IsaMakefile for FOLP;
Wed, 08 Jan 1997 14:44:24 +0100 wenzelm IsaMakefile for CCL;
Wed, 08 Jan 1997 12:58:17 +0100 wenzelm IsaMakefile for LCF;
Wed, 08 Jan 1997 12:48:46 +0100 wenzelm IsaMakefile for Cube;
Wed, 08 Jan 1997 12:14:53 +0100 paulson Removed some (not all!) uses of FOL_cs
Tue, 07 Jan 1997 16:29:43 +0100 paulson Simplification of some proofs, especially by eliminating
Tue, 07 Jan 1997 16:28:43 +0100 paulson Incorporation of HPair into Message
Tue, 07 Jan 1997 12:42:48 +0100 paulson Default rewrite rules for quantification over Collect(A,P)
Tue, 07 Jan 1997 12:37:07 +0100 paulson Default rewrite rules for quantification over Collect(A,P)
Tue, 07 Jan 1997 10:19:43 +0100 paulson Now uses HPair
Tue, 07 Jan 1997 10:18:20 +0100 paulson Tidied up the unicity proofs
Tue, 07 Jan 1997 10:17:07 +0100 paulson Updated account of implicit simpsets and clasets
Tue, 07 Jan 1997 09:06:01 +0100 wenzelm added ISABELLE, ISATOOL;
Tue, 07 Jan 1997 09:05:26 +0100 wenzelm testdir: use dir without committing into database;
Tue, 07 Jan 1997 09:04:53 +0100 wenzelm added dvi viewer alternative;
Tue, 07 Jan 1997 09:03:53 +0100 wenzelm fixed cmp -s option;
Tue, 07 Jan 1997 09:01:52 +0100 wenzelm minor tuning;
Tue, 07 Jan 1997 09:01:18 +0100 wenzelm minor tuning;
Tue, 07 Jan 1997 09:00:26 +0100 wenzelm minor tuning;
Mon, 06 Jan 1997 17:02:09 +0100 wenzelm added stamp util;
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip