Fri, 24 Jan 1997 17:12:28 +0100 wenzelm changed case symbol to \<Rightarrow>;
Thu, 23 Jan 1997 18:16:12 +0100 wenzelm 'rm -f' instead of 'mv -f';
Thu, 23 Jan 1997 18:14:20 +0100 paulson Re-ordering of certificates so that session keys appear in decreasing order
Thu, 23 Jan 1997 18:13:07 +0100 paulson Cosmetic improvements
Thu, 23 Jan 1997 18:10:29 +0100 wenzelm 'rm -f' instead of 'cp -f';
Thu, 23 Jan 1997 14:37:45 +0100 wenzelm tuned;
Thu, 23 Jan 1997 14:35:15 +0100 wenzelm expand shorthand goal commands;
Thu, 23 Jan 1997 14:19:16 +0100 wenzelm added AxClasses test;
Thu, 23 Jan 1997 14:05:42 +0100 wenzelm replaces README;
Thu, 23 Jan 1997 13:57:31 +0100 wenzelm dummy file required for proper HTML generation;
Thu, 23 Jan 1997 13:56:50 +0100 wenzelm removed;
Thu, 23 Jan 1997 12:55:31 +0100 wenzelm removed \<mu> syntax;
Thu, 23 Jan 1997 12:42:07 +0100 wenzelm added symbols syntax;
Thu, 23 Jan 1997 10:40:21 +0100 wenzelm turned some consts into syntax;
Thu, 23 Jan 1997 10:35:28 +0100 paulson Mended spelling error
Thu, 23 Jan 1997 10:35:03 +0100 paulson Added sees_Spy_partsEs
Thu, 23 Jan 1997 10:34:18 +0100 paulson Tidied proofs by using "etac rev_mp" instead of applying rev_mp to result()
Wed, 22 Jan 1997 18:17:36 +0100 nipkow Added warning msg when the simplifier cannot use a premise as a rewrite rule
Tue, 21 Jan 1997 11:29:28 +0100 nipkow Modified MiniML. Added W0.
Tue, 21 Jan 1997 10:58:32 +0100 paulson Simplified proofs
Tue, 21 Jan 1997 10:54:05 +0100 paulson Improved layout and updated comments
Mon, 20 Jan 1997 18:29:26 +0100 nipkow Improved text.
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
(0) -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip