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;
Fri, 03 Jan 1997 15:25:51 +0100 paulson A definition of "print", unfortunately overridden by each "open PolyML"
Fri, 03 Jan 1997 15:01:55 +0100 paulson Implicit simpsets and clasets for FOL and ZF
Fri, 03 Jan 1997 10:48:28 +0100 paulson Added TFL
Fri, 03 Jan 1997 10:45:31 +0100 paulson Conversion to Basis Library (using prs instead of output)
Fri, 20 Dec 1996 16:10:30 +0100 wenzelm changed xterm geometry;
Fri, 20 Dec 1996 10:54:01 +0100 oheimb removed test
Fri, 20 Dec 1996 10:49:38 +0100 oheimb testing...
Fri, 20 Dec 1996 10:48:49 +0100 sandnerr testing cvs merge algorithm, 2nd
Fri, 20 Dec 1996 10:48:05 +0100 oheimb testing...
Fri, 20 Dec 1996 10:45:08 +0100 sandnerr testing cvs merge algorithm
Fri, 20 Dec 1996 10:39:44 +0100 oheimb testing...
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip