isabelle: Changelog

wenzelm [Wed, 28 Nov 2001 00:42:04 +0100] rev 12307

qualify imported facts; clarified read/cert_element; theory data: removed obsolete finish; tuned;

wenzelm [Wed, 28 Nov 2001 00:39:33 +0100] rev 12306

variant: preserve suffix of underscores (for skolem/internal names etc.);

wenzelm [Wed, 28 Nov 2001 00:38:11 +0100] rev 12305

join_rules RuleCases.save;

wenzelm [Wed, 28 Nov 2001 00:37:40 +0100] rev 12304

tuned declarations;

wenzelm [Wed, 28 Nov 2001 00:37:08 +0100] rev 12303

tuned;

wenzelm [Tue, 27 Nov 2001 13:28:26 +0100] rev 12302

make SML/NJ happy;

wenzelm [Mon, 26 Nov 2001 23:24:27 +0100] rev 12301

added Pure/Isar/rule_context.ML;

wenzelm [Mon, 26 Nov 2001 23:23:33 +0100] rev 12300

gcd_dvd1 and gcd_dvd2 proven simultaneously;

wenzelm [Mon, 26 Nov 2001 18:34:17 +0100] rev 12299

moved lemmas to theory Hilbert_Choice;

wenzelm [Mon, 26 Nov 2001 18:33:57 +0100] rev 12298

tuned; meson lemmas from Tools/meson.ML;

isabelle