wenzelm [Thu, 20 Mar 1997 11:09:01 +0100] rev 2820
replaced ex.ML by ex/ROOT.ML, ex/ex.ML;
wenzelm [Thu, 20 Mar 1997 10:49:44 +0100] rev 2819
isatool usedir;
wenzelm [Thu, 20 Mar 1997 10:48:00 +0100] rev 2818
added ex dir;
wenzelm [Thu, 20 Mar 1997 10:47:29 +0100] rev 2817
replaced ex.ML by ex/ROOT.ML, ex/ex.ML;
wenzelm [Thu, 20 Mar 1997 10:47:18 +0100] rev 2816
replaced ex.ML by ex/ROOT.ml, ex/ex.ML;
paulson [Wed, 19 Mar 1997 10:49:26 +0100] rev 2815
Improved intersection rule InterI: now truly safe, since the unsafeness is
delegated to exI.
paulson [Wed, 19 Mar 1997 10:24:39 +0100] rev 2814
delete_tagged_brl just ignores non-elimination rules instead of complaining
paulson [Wed, 19 Mar 1997 10:23:09 +0100] rev 2813
delrules now deletes ALL occurrences of a rule, since it may appear in any of
the four lists.
wenzelm [Tue, 18 Mar 1997 18:20:52 +0100] rev 2812
added quit();
wenzelm [Tue, 18 Mar 1997 18:20:26 +0100] rev 2811
asserts $ISABELLE_OUTPUT_DIR;
nipkow [Tue, 18 Mar 1997 18:02:19 +0100] rev 2810
Added wp_while.
wenzelm [Tue, 18 Mar 1997 17:03:55 +0100] rev 2809
added dummy set_session;