Wed, 17 Dec 1997 14:57:02 +0100 wenzelm added ML-Systems/mlworks.ML;
Tue, 16 Dec 1997 19:00:38 +0100 wenzelm MLWorks startup script (for 1.0r2 or later).
Tue, 16 Dec 1997 18:58:33 +0100 wenzelm renamed to mlworks.ML;
Tue, 16 Dec 1997 18:58:16 +0100 wenzelm Compatibility file for MLWorks version 1.0r2 or later.
Tue, 16 Dec 1997 17:58:03 +0100 wenzelm expandshort;
Tue, 16 Dec 1997 15:17:26 +0100 paulson Simplified proofs using rewrites for f``A where f is injective
Tue, 16 Dec 1997 15:15:38 +0100 paulson Simplified SpyKeys and ClientKeyExch as suggested by James Margetson
Tue, 16 Dec 1997 12:37:11 +0100 wenzelm obsolete;
Tue, 16 Dec 1997 12:24:31 +0100 wenzelm tuned;
Tue, 16 Dec 1997 12:19:26 +0100 wenzelm obsolete;
Tue, 16 Dec 1997 12:17:48 +0100 wenzelm adapted from Larry's version;
Tue, 16 Dec 1997 12:17:22 +0100 wenzelm improved;
Mon, 15 Dec 1997 15:54:47 +0100 wenzelm improved COMMIT_RO;
Mon, 15 Dec 1997 15:32:27 +0100 wenzelm tuned;
Mon, 15 Dec 1997 15:27:03 +0100 wenzelm polyml-3.1;
Mon, 15 Dec 1997 15:18:46 +0100 wenzelm make smlnj-110 default;
Mon, 15 Dec 1997 15:16:43 +0100 wenzelm tuned;
Mon, 15 Dec 1997 14:40:13 +0100 wenzelm tuned;
Mon, 15 Dec 1997 14:14:06 +0100 wenzelm No longer depend on theory context!
Sat, 13 Dec 1997 17:27:16 +0100 wenzelm version = "Isabelle98: Jan 1998";
Sat, 13 Dec 1997 17:22:41 +0100 wenzelm tuned comment;
Sat, 13 Dec 1997 17:22:15 +0100 wenzelm smlnj-110;
Fri, 12 Dec 1997 22:43:10 +0100 wenzelm deleted smlnj-1.09.ML;
Fri, 12 Dec 1997 22:41:45 +0100 wenzelm obsolete;
Fri, 12 Dec 1997 22:41:15 +0100 wenzelm Compatibility file for Standard ML of New Jersey.
Fri, 12 Dec 1997 22:35:34 +0100 wenzelm tuned;
Fri, 12 Dec 1997 18:10:59 +0100 wenzelm prepared for Isabelle98;
Fri, 12 Dec 1997 17:51:45 +0100 wenzelm added;
Fri, 12 Dec 1997 17:50:28 +0100 wenzelm obsolete;
Fri, 12 Dec 1997 17:23:01 +0100 wenzelm tuned;
Fri, 12 Dec 1997 17:14:58 +0100 wenzelm tuned msg;
Fri, 12 Dec 1997 17:11:26 +0100 wenzelm tuned;
Fri, 12 Dec 1997 17:11:05 +0100 wenzelm major update;
Fri, 12 Dec 1997 17:10:40 +0100 wenzelm SYNC;
Fri, 12 Dec 1997 10:46:09 +0100 paulson new blast_tac no longer works here
Fri, 12 Dec 1997 10:37:45 +0100 paulson More deterministic (?) contr_tac
Fri, 12 Dec 1997 10:34:21 +0100 paulson More deterministic and therefore faster (sometimes) proof reconstruction
Fri, 12 Dec 1997 10:32:45 +0100 paulson ugly patch for new Blast_tac
Fri, 12 Dec 1997 10:31:25 +0100 paulson Faster proof of mult_less_cancel2
Thu, 11 Dec 1997 13:15:06 +0100 wenzelm tuned;
Thu, 11 Dec 1997 10:30:33 +0100 paulson Tidied final proof
Thu, 11 Dec 1997 10:29:22 +0100 paulson Tidied proof of finite_subset_induct
Thu, 11 Dec 1997 10:28:04 +0100 paulson Got rid of mod2_neq_0
Mon, 08 Dec 1997 20:29:49 +0100 wenzelm \subsection{*Theory inclusion};
Mon, 08 Dec 1997 13:57:19 +0100 paulson Tidying to fix overfull lines, etc
Mon, 08 Dec 1997 13:56:49 +0100 paulson Comprehensive (??) list of bugs, fixed or not
Sun, 07 Dec 1997 16:09:55 +0100 wenzelm tuned;
Sun, 07 Dec 1997 16:05:36 +0100 wenzelm added print_claset;
Sat, 06 Dec 1997 17:06:21 +0100 nipkow Replaced Fib(Suc n)~=0 by 0<Fib(Suc(n)).
Sat, 06 Dec 1997 17:05:41 +0100 nipkow Got rid of some preds and replaced some n~=0 by 0<n.
Sat, 06 Dec 1997 16:48:39 +0100 nipkow Cleaned up arithmetic mess.
Fri, 05 Dec 1997 18:46:18 +0100 wenzelm instantiate';
Fri, 05 Dec 1997 18:45:19 +0100 wenzelm changed typed_print_translation;
Fri, 05 Dec 1997 18:44:56 +0100 wenzelm tuned;
Fri, 05 Dec 1997 17:31:01 +0100 wenzelm nat_cancel enabled by default;
Fri, 05 Dec 1997 17:20:25 +0100 wenzelm adapted proofs to cope with simprocs nat_cancel;
Fri, 05 Dec 1997 17:19:38 +0100 wenzelm improved arbitrary_def: we now really don't know nothing about it!
Fri, 05 Dec 1997 17:16:22 +0100 wenzelm use_thy no longer requires writable current directory;
Fri, 05 Dec 1997 17:14:36 +0100 wenzelm adapted proofs to cope with simprocs nat_cancel (by Stefan Berghofer);
Fri, 05 Dec 1997 17:13:46 +0100 wenzelm simplification procedures nat_cancel enabled by default;
(0) -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip