isabelle: Changelog

wenzelm [Tue, 20 May 1997 19:26:43 +0200] rev 3253

fixed spelling;

wenzelm [Tue, 20 May 1997 17:58:20 +0200] rev 3252

IMPORTANT NOTE: This is the old README.

wenzelm [Tue, 20 May 1997 17:17:05 +0200] rev 3251

X11 font server sample configuration;

mueller [Tue, 20 May 1997 16:02:36 +0200] rev 3250

deleted duplicate rewrite rules of lift.simps

mueller [Tue, 20 May 1997 16:01:03 +0200] rev 3249

minor changes

wenzelm [Tue, 20 May 1997 12:22:33 +0200] rev 3248

tuned;

mueller [Tue, 20 May 1997 12:14:31 +0200] rev 3247

added eindhoven http address

paulson [Tue, 20 May 1997 11:53:20 +0200] rev 3246

Declares Option_ as synonym for structure Option

paulson [Tue, 20 May 1997 11:49:57 +0200] rev 3245

Removal of redundant code (unused or already present in Isabelle. This eliminates HOL compatibility but makes the code smaller and more readable

paulson [Tue, 20 May 1997 11:47:33 +0200] rev 3244

Basis library version of type "option" now resides in its own structure Option

isabelle