isabelle: Changelog

wenzelm [Sat, 05 Feb 2000 16:54:27 +0100] rev 8195

'.' == by this;

wenzelm [Fri, 04 Feb 2000 21:53:36 +0100] rev 8194

misc improvements;

wenzelm [Fri, 04 Feb 2000 21:45:57 +0100] rev 8193

added MicroJava/document;

wenzelm [Fri, 04 Feb 2000 21:44:38 +0100] rev 8192

added old_symbol_source; tuned;

wenzelm [Fri, 04 Feb 2000 21:44:04 +0100] rev 8191

Present.old_symbol_source;

wenzelm [Fri, 04 Feb 2000 21:43:30 +0100] rev 8190

tuned;

wenzelm [Fri, 04 Feb 2000 21:37:23 +0100] rev 8189

manually load session;

wenzelm [Fri, 04 Feb 2000 21:36:13 +0100] rev 8188

tuned syms;

paulson [Fri, 04 Feb 2000 11:36:11 +0100] rev 8187

new theorem gcd_add_mult

wenzelm [Wed, 02 Feb 2000 20:19:25 +0100] rev 8186

most_general_varify_tfrees all results;

isabelle