Thu, 10 Feb 2000 11:03:54 +0100 paulson Cambridge-specific modifications
Wed, 09 Feb 2000 14:35:23 +0100 wenzelm mirror dist page;
Wed, 09 Feb 2000 14:12:14 +0100 wenzelm tuned;
Wed, 09 Feb 2000 14:03:29 +0100 wenzelm mirror main page;
Wed, 09 Feb 2000 13:43:35 +0100 kleing clearer "Obtaining" section
Wed, 09 Feb 2000 12:30:25 +0100 wenzelm [df]rule methods;
Wed, 09 Feb 2000 12:30:04 +0100 wenzelm document -c;
Wed, 09 Feb 2000 12:29:03 +0100 wenzelm eliminated gif dir;
Wed, 09 Feb 2000 12:28:44 +0100 wenzelm option -c;
Wed, 09 Feb 2000 11:45:10 +0100 paulson updated the Client example
Wed, 09 Feb 2000 11:43:53 +0100 paulson tidying: mostly spacing, but also simpler forms for Crypt_imp_OR2 & OR3_imp_OR2
Wed, 09 Feb 2000 11:42:26 +0100 paulson new thm order_less_imp_le
Tue, 08 Feb 2000 22:28:30 +0100 wenzelm (then_)tac: assert_backward;
Tue, 08 Feb 2000 20:17:41 +0100 wenzelm added -c option (beware!);
Tue, 08 Feb 2000 20:14:58 +0100 wenzelm rename -p to -P;
Tue, 08 Feb 2000 20:14:09 +0100 wenzelm added forget_proof;
Tue, 08 Feb 2000 20:13:58 +0100 wenzelm added K.qed_global;
Tue, 08 Feb 2000 20:12:36 +0100 wenzelm omit Primes;
Mon, 07 Feb 2000 18:42:47 +0100 wenzelm (then_)apply: prove -> prove;
Mon, 07 Feb 2000 18:40:40 +0100 wenzelm assert_no_chain;
Mon, 07 Feb 2000 18:40:27 +0100 wenzelm refine_no_facts: recover goal_facts;
Mon, 07 Feb 2000 18:39:53 +0100 wenzelm tuned prefer/defer;
Mon, 07 Feb 2000 18:38:51 +0100 wenzelm intro/elim/dest attributes: changed ! / !! flags to ? / ??;
Mon, 07 Feb 2000 15:28:43 +0100 oheimb paper available
Mon, 07 Feb 2000 15:14:02 +0100 paulson tidied some proofs
Sat, 05 Feb 2000 17:31:53 +0100 kleing Branch: top elements of stack only need to be convertible (not equal)
Sat, 05 Feb 2000 17:06:27 +0100 wenzelm tuned;
Sat, 05 Feb 2000 16:59:50 +0100 wenzelm -I option;
Sat, 05 Feb 2000 16:58:58 +0100 wenzelm -D PATH: dump generated document sources into PATH;
Sat, 05 Feb 2000 16:57:02 +0100 wenzelm additional tex dump;
Sat, 05 Feb 2000 16:54:27 +0100 wenzelm '.' == by this;
Fri, 04 Feb 2000 21:53:36 +0100 wenzelm misc improvements;
Fri, 04 Feb 2000 21:45:57 +0100 wenzelm added MicroJava/document;
Fri, 04 Feb 2000 21:44:38 +0100 wenzelm added old_symbol_source;
Fri, 04 Feb 2000 21:44:04 +0100 wenzelm Present.old_symbol_source;
Fri, 04 Feb 2000 21:43:30 +0100 wenzelm tuned;
Fri, 04 Feb 2000 21:37:23 +0100 wenzelm manually load session;
Fri, 04 Feb 2000 21:36:13 +0100 wenzelm tuned syms;
Fri, 04 Feb 2000 11:36:11 +0100 paulson new theorem gcd_add_mult
Wed, 02 Feb 2000 20:19:25 +0100 wenzelm most_general_varify_tfrees all results;
Wed, 02 Feb 2000 13:26:38 +0100 nipkow Rduced Class C <= Class D to C <= D.
Wed, 02 Feb 2000 12:46:57 +0100 wenzelm nat as names;
Wed, 02 Feb 2000 12:25:54 +0100 paulson expandshort
Wed, 02 Feb 2000 12:25:29 +0100 paulson new lemma fun_cons_restrict_eq
Wed, 02 Feb 2000 11:42:17 +0100 paulson new theorems by Sidi O. Ehmety
Tue, 01 Feb 2000 18:18:36 +0100 oheimb added forgotten definition of make_imp_tac
Tue, 01 Feb 2000 18:18:09 +0100 oheimb added forgotten rules to make IMPP
Tue, 01 Feb 2000 12:26:47 +0100 wenzelm eliminated nonascii;
Mon, 31 Jan 2000 18:30:35 +0100 oheimb added IMPP to HOL
Mon, 31 Jan 2000 16:19:51 +0100 paulson renamed image_Union_eq -> image_Union
Mon, 31 Jan 2000 16:19:14 +0100 paulson new theorem vimage_Union
Mon, 31 Jan 2000 16:18:42 +0100 paulson new theorem rev_ImageI
Mon, 31 Jan 2000 16:18:09 +0100 paulson various theorems about image and inverse image
Mon, 31 Jan 2000 16:13:28 +0100 paulson Pi_empty1 is a more general simprule than empty_fun
Sun, 30 Jan 2000 13:24:41 +0100 wenzelm rm -f *.aux;
Sat, 29 Jan 2000 14:22:16 +0100 wenzelm simp_all method;
Fri, 28 Jan 2000 21:58:39 +0100 wenzelm eliminated proof script;
Fri, 28 Jan 2000 21:57:15 +0100 wenzelm HEADGOAL;
Fri, 28 Jan 2000 21:56:55 +0100 wenzelm added prefer, defer;
Fri, 28 Jan 2000 21:56:37 +0100 wenzelm added HEADGOAL;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip