isabelle: Changelog

paulson [Wed, 13 Feb 2002 10:48:29 +0100] rev 12886

deleted some redundant 'addS*Es [equalityC*E]'s

paulson [Wed, 13 Feb 2002 10:45:08 +0100] rev 12885

new function lemmas

paulson [Wed, 13 Feb 2002 10:44:39 +0100] rev 12884

tidied. no more special simpset (super_ss)

paulson [Wed, 13 Feb 2002 10:44:07 +0100] rev 12883

new lemmas for closure under Union

wenzelm [Tue, 12 Feb 2002 20:35:35 +0100] rev 12882

eliminated Pure/Isar/comment.ML;

wenzelm [Tue, 12 Feb 2002 20:34:02 +0100] rev 12881

ANTIQUOTE_FAIL;

wenzelm [Tue, 12 Feb 2002 20:33:37 +0100] rev 12880

eliminated Isar/comment.ML;

wenzelm [Tue, 12 Feb 2002 20:33:03 +0100] rev 12879

tuned;

wenzelm [Tue, 12 Feb 2002 20:32:23 +0100] rev 12878

added isabelle-hol-book; added tphols2001; tuned tphols2000;

wenzelm [Tue, 12 Feb 2002 20:31:40 +0100] rev 12877

* Isar/Pure: marginal comments ``--'' may now occur just anywhere in the text;

isabelle