Mon, 12 May 1997 17:26:28 +0200 wenzelm list of manuals to be made automatically;
Mon, 12 May 1997 17:24:29 +0200 wenzelm 'dist', 'clean';
Mon, 12 May 1997 17:15:36 +0200 wenzelm added 'clean';
Mon, 12 May 1997 17:13:58 +0200 wenzelm move to Inductive/
Mon, 12 May 1997 17:13:12 +0200 wenzelm moved here from ..
Mon, 12 May 1997 16:47:25 +0200 wenzelm minor tuning;
Mon, 12 May 1997 16:46:07 +0200 wenzelm minor tuning;
Mon, 12 May 1997 16:44:58 +0200 wenzelm SYNC;
Mon, 12 May 1997 14:58:45 +0200 wenzelm improved comments;
Mon, 12 May 1997 14:32:46 +0200 wenzelm removed README;
Mon, 12 May 1997 14:31:20 +0200 wenzelm partially adapted to axclass / instance;
Mon, 12 May 1997 14:24:57 +0200 wenzelm obsolete;
Mon, 12 May 1997 14:24:31 +0200 wenzelm removed Witness;
Mon, 12 May 1997 12:10:49 +0200 wenzelm fixed dependecy: CPure;
Fri, 09 May 1997 19:43:44 +0200 wenzelm misc tuning, cleanup, improvements;
Fri, 09 May 1997 19:43:16 +0200 wenzelm minor tuning;
Fri, 09 May 1997 19:42:09 +0200 wenzelm SYNC;
Fri, 09 May 1997 19:41:46 +0200 wenzelm minor tuning;
Fri, 09 May 1997 19:41:17 +0200 wenzelm tuned ref to src;
Fri, 09 May 1997 10:18:58 +0200 paulson New theorems about "assign"
Fri, 09 May 1997 10:18:07 +0200 paulson Fixed precedence of semicolon
Fri, 09 May 1997 10:17:41 +0200 paulson New equivalence proofs
Thu, 08 May 1997 12:22:01 +0200 paulson New proofs about WHILE and VALOF
Thu, 08 May 1997 11:44:59 +0200 nipkow Modified def of Least, which, as Markus correctly complained, looked like
Thu, 08 May 1997 10:20:37 +0200 paulson Made a slow proof slightly faster
Thu, 08 May 1997 10:19:52 +0200 paulson Changed from fast_tac to blast_tac
Wed, 07 May 1997 18:39:04 +0200 wenzelm misc minor improvements;
Wed, 07 May 1997 18:37:33 +0200 wenzelm tuned;
Wed, 07 May 1997 18:37:12 +0200 wenzelm replaced Int by IntPr, result by qed;
Wed, 07 May 1997 18:36:13 +0200 wenzelm fixed ref to srcs;
Wed, 07 May 1997 18:35:56 +0200 wenzelm fixed caption font;
Wed, 07 May 1997 17:21:24 +0200 wenzelm tuned spaces;
Wed, 07 May 1997 17:21:04 +0200 wenzelm fixed braces;
Wed, 07 May 1997 17:16:36 +0200 paulson stylistic improvements
Wed, 07 May 1997 17:16:18 +0200 paulson Documents directory Induct; stylistic improvements
Wed, 07 May 1997 17:15:57 +0200 paulson New acknowledgements
Wed, 07 May 1997 16:40:00 +0200 wenzelm fixed witness syntax;
Wed, 07 May 1997 16:38:33 +0200 wenzelm SYNC;
Wed, 07 May 1997 16:29:06 +0200 paulson New acknowledgements; fixed overfull lines and tables
Wed, 07 May 1997 16:26:28 +0200 paulson New acknowledgements; no Fast_tac
Wed, 07 May 1997 16:26:02 +0200 paulson Larry's private LaTeX-2e version
Wed, 07 May 1997 13:51:22 +0200 paulson Moved induction examples to directory Induct
Wed, 07 May 1997 13:50:52 +0200 paulson changed title to README
Wed, 07 May 1997 13:50:18 +0200 paulson Documentation for directory "ex"
Wed, 07 May 1997 13:49:57 +0200 paulson Documentation for directory "Induct"
Wed, 07 May 1997 13:01:43 +0200 paulson Conversion to use blast_tac (with other improvements)
Wed, 07 May 1997 12:50:26 +0200 paulson New directory to contain examples of (co)inductive definitions
Wed, 07 May 1997 12:49:02 +0200 paulson Description of the Auth directory: security protocols proofs
Tue, 06 May 1997 15:27:35 +0200 wenzelm fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
Tue, 06 May 1997 15:24:41 +0200 wenzelm tuned;
Tue, 06 May 1997 15:04:53 +0200 wenzelm *** empty log message ***
Tue, 06 May 1997 14:36:37 +0200 wenzelm tuned comments;
Tue, 06 May 1997 13:49:29 +0200 wenzelm fixed simplifier ex;
Tue, 06 May 1997 13:43:54 +0200 wenzelm SYNC;
Tue, 06 May 1997 13:42:28 +0200 wenzelm fixed simplifier examples;
Tue, 06 May 1997 13:33:33 +0200 nipkow Stupid bug in induct_tac caused warning to always appear.
Tue, 06 May 1997 12:55:07 +0200 wenzelm removed MLtrans, MLtext;
Tue, 06 May 1997 12:51:23 +0200 wenzelm added \Pure, \CPure;
Tue, 06 May 1997 12:50:16 +0200 wenzelm misc updates, tuning, cleanup;
Mon, 05 May 1997 21:18:01 +0200 wenzelm tuned;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip