Fri, 18 Feb 2000 15:35:29 +0100 paulson new distributive laws
Fri, 18 Feb 2000 15:34:22 +0100 paulson expandshort
Fri, 18 Feb 2000 15:33:09 +0100 paulson many new theorems about inj, surj etc.
Fri, 18 Feb 2000 15:28:32 +0100 paulson new theorem nat_diff_split'
Fri, 18 Feb 2000 15:20:44 +0100 paulson New treatment of "guarantees" with polymorphic components and bijections.
Wed, 16 Feb 2000 15:04:12 +0100 wenzelm Syntax translation functions;
Wed, 16 Feb 2000 10:51:23 +0100 paulson fixed some overfull lines
Wed, 16 Feb 2000 10:50:57 +0100 paulson a smaller point size reduces the number of overfull figures
Tue, 15 Feb 2000 21:02:55 +0100 kleing cosmetics
Tue, 15 Feb 2000 19:41:44 +0100 wenzelm fixed sel_upd simproc (less efficient, but more complete);
Tue, 15 Feb 2000 17:51:11 +0100 kleing lightweight bytecode verifier with correctness proof
Mon, 14 Feb 2000 20:49:08 +0100 wenzelm basic source deps;
Mon, 14 Feb 2000 20:43:12 +0100 wenzelm easy_setup: fixed mksimps;
Mon, 14 Feb 2000 20:42:02 +0100 wenzelm proof step: reset goal_facts;
Mon, 14 Feb 2000 12:23:08 +0100 wenzelm mkdir -p $ISABELLE_BROWSER_INFO;
Mon, 14 Feb 2000 11:23:57 +0100 wenzelm fixed prefer;
Mon, 14 Feb 2000 11:23:44 +0100 wenzelm tuned msg;
Sun, 13 Feb 2000 21:01:26 +0100 wenzelm added refine_end;
Sun, 13 Feb 2000 21:00:02 +0100 wenzelm tuned attrib;
Sun, 13 Feb 2000 20:58:13 +0100 wenzelm apply: observe facts;
Sun, 13 Feb 2000 20:56:55 +0100 wenzelm prf_script commands made proper;
Sun, 13 Feb 2000 20:54:12 +0100 wenzelm refine_end;
Sun, 13 Feb 2000 20:52:58 +0100 wenzelm attrib: keyword_symid;
Thu, 10 Feb 2000 20:54:40 +0100 wenzelm \isabellesimplestyle;
Thu, 10 Feb 2000 20:54:18 +0100 wenzelm symid: include single symbolic char;
Thu, 10 Feb 2000 20:52:59 +0100 wenzelm is_symbolic;
Thu, 10 Feb 2000 13:36:23 +0100 wenzelm theorems [elim??] = sym;
Thu, 10 Feb 2000 13:34:52 +0100 wenzelm added easy_setup;
Thu, 10 Feb 2000 13:34:38 +0100 wenzelm add_judgment;
Thu, 10 Feb 2000 11:08:42 +0100 paulson new thm and simprule inv_id
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;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip