wenzelm [Tue, 13 Sep 2005 22:19:34 +0200] rev 17350
more self-contained proof elements (material from isar_thy.ML);
tuned;
wenzelm [Tue, 13 Sep 2005 22:19:33 +0200] rev 17349
added cases, rule_contextN;
eliminated obsolete Sign.sg;
wenzelm [Tue, 13 Sep 2005 22:19:32 +0200] rev 17348
load locale.ML late (after proof.ML);
tuned module arrangement;
wenzelm [Tue, 13 Sep 2005 22:19:31 +0200] rev 17347
added maps, map_list, lift, lifts;
wenzelm [Tue, 13 Sep 2005 22:19:30 +0200] rev 17346
added stack.ML;
wenzelm [Tue, 13 Sep 2005 22:19:29 +0200] rev 17345
added simple_fact;
generalized no_attributes;
wenzelm [Tue, 13 Sep 2005 22:19:28 +0200] rev 17344
Seq.maps;
wenzelm [Tue, 13 Sep 2005 22:19:27 +0200] rev 17343
added hide_names(_i) (from isar_thy.ML);
wenzelm [Tue, 13 Sep 2005 22:19:26 +0200] rev 17342
added generic_setup, add_oracle (from isar_thy.ML);
wenzelm [Tue, 13 Sep 2005 22:19:25 +0200] rev 17341
added exception EXCEPTION of exn * string;