wenzelm [Fri, 19 Dec 1997 10:33:24 +0100] rev 4452
adapted to new sort function;
wenzelm [Fri, 19 Dec 1997 10:31:13 +0100] rev 4451
log file;
elapsed time;
wenzelm [Fri, 19 Dec 1997 10:30:27 +0100] rev 4450
leading 0s;
wenzelm [Fri, 19 Dec 1997 10:28:33 +0100] rev 4449
tuned;
wenzelm [Fri, 19 Dec 1997 10:27:23 +0100] rev 4448
adapted to new sort function;
wenzelm [Fri, 19 Dec 1997 10:18:58 +0100] rev 4447
log files;
'clean' target;
wenzelm [Fri, 19 Dec 1997 10:18:03 +0100] rev 4446
tuned;
wenzelm [Fri, 19 Dec 1997 10:17:04 +0100] rev 4445
added rev_order, make_ord;
reimplemented sort function: stable version of quicksort;
wenzelm [Fri, 19 Dec 1997 10:16:16 +0100] rev 4444
term order;
signature;
wenzelm [Fri, 19 Dec 1997 10:15:51 +0100] rev 4443
term order stuff moved to term.ML;
wenzelm [Fri, 19 Dec 1997 10:15:26 +0100] rev 4442
log file;
elapsed time;
wenzelm [Fri, 19 Dec 1997 10:14:55 +0100] rev 4441
'clean' target;
wenzelm [Fri, 19 Dec 1997 10:13:47 +0100] rev 4440
adapted to new sort function;
wenzelm [Fri, 19 Dec 1997 09:58:42 +0100] rev 4439
Term.termless;
wenzelm [Fri, 19 Dec 1997 09:58:03 +0100] rev 4438
adapted to new sort function;
wenzelm [Fri, 19 Dec 1997 09:57:24 +0100] rev 4437
removed maketest;
wenzelm [Thu, 18 Dec 1997 19:12:22 +0100] rev 4436
showtime - print time.
oheimb [Thu, 18 Dec 1997 12:50:58 +0100] rev 4435
added expand_split_asm
paulson [Thu, 18 Dec 1997 11:13:10 +0100] rev 4434
UNIV_I no longer counts as safe
wenzelm [Wed, 17 Dec 1997 18:13:43 +0100] rev 4433
tuned;
wenzelm [Wed, 17 Dec 1997 17:59:18 +0100] rev 4432
added mlworks;
wenzelm [Wed, 17 Dec 1997 17:51:39 +0100] rev 4431
added MLWorks;
wenzelm [Wed, 17 Dec 1997 15:43:54 +0100] rev 4430
misc improvements;
stack_overflow_handler;
wenzelm [Wed, 17 Dec 1997 15:43:22 +0100] rev 4429
tuned tmp file name;
wenzelm [Wed, 17 Dec 1997 14:57:26 +0100] rev 4428
tuned comment;
wenzelm [Wed, 17 Dec 1997 14:57:02 +0100] rev 4427
added ML-Systems/mlworks.ML;
wenzelm [Tue, 16 Dec 1997 19:00:38 +0100] rev 4426
MLWorks startup script (for 1.0r2 or later).
wenzelm [Tue, 16 Dec 1997 18:58:33 +0100] rev 4425
renamed to mlworks.ML;
wenzelm [Tue, 16 Dec 1997 18:58:16 +0100] rev 4424
Compatibility file for MLWorks version 1.0r2 or later.
wenzelm [Tue, 16 Dec 1997 17:58:03 +0100] rev 4423
expandshort;
paulson [Tue, 16 Dec 1997 15:17:26 +0100] rev 4422
Simplified proofs using rewrites for f``A where f is injective
paulson [Tue, 16 Dec 1997 15:15:38 +0100] rev 4421
Simplified SpyKeys and ClientKeyExch as suggested by James Margetson
wenzelm [Tue, 16 Dec 1997 12:37:11 +0100] rev 4420
obsolete;
wenzelm [Tue, 16 Dec 1997 12:24:31 +0100] rev 4419
tuned;
wenzelm [Tue, 16 Dec 1997 12:19:26 +0100] rev 4418
obsolete;
wenzelm [Tue, 16 Dec 1997 12:17:48 +0100] rev 4417
adapted from Larry's version;
wenzelm [Tue, 16 Dec 1997 12:17:22 +0100] rev 4416
improved;
wenzelm [Mon, 15 Dec 1997 15:54:47 +0100] rev 4415
improved COMMIT_RO;
wenzelm [Mon, 15 Dec 1997 15:32:27 +0100] rev 4414
tuned;
wenzelm [Mon, 15 Dec 1997 15:27:03 +0100] rev 4413
polyml-3.1;
wenzelm [Mon, 15 Dec 1997 15:18:46 +0100] rev 4412
make smlnj-110 default;
wenzelm [Mon, 15 Dec 1997 15:16:43 +0100] rev 4411
tuned;
wenzelm [Mon, 15 Dec 1997 14:40:13 +0100] rev 4410
tuned;
wenzelm [Mon, 15 Dec 1997 14:14:06 +0100] rev 4409
No longer depend on theory context!
wenzelm [Sat, 13 Dec 1997 17:27:16 +0100] rev 4408
version = "Isabelle98: Jan 1998";
wenzelm [Sat, 13 Dec 1997 17:22:41 +0100] rev 4407
tuned comment;
wenzelm [Sat, 13 Dec 1997 17:22:15 +0100] rev 4406
smlnj-110;
wenzelm [Fri, 12 Dec 1997 22:43:10 +0100] rev 4405
deleted smlnj-1.09.ML;