isabelle: Changelog

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;

isabelle