Tue, 13 Sep 2005 22:19:38 +0200 moved most material to its proper place (sign.ML, pure_thy.ML, method.ML, proof.ML, locale.ML etc.);
wenzelm [Tue, 13 Sep 2005 22:19:38 +0200] rev 17354
moved most material to its proper place (sign.ML, pure_thy.ML, method.ML, proof.ML, locale.ML etc.); begin_theory: tuned interface, check uses in thy_info.ML;
Tue, 13 Sep 2005 22:19:37 +0200 cleanup parsers and interfaces;
wenzelm [Tue, 13 Sep 2005 22:19:37 +0200] rev 17353
cleanup parsers and interfaces;
Tue, 13 Sep 2005 22:19:36 +0200 Proof.get_thmss;
wenzelm [Tue, 13 Sep 2005 22:19:36 +0200] rev 17352
Proof.get_thmss;
Tue, 13 Sep 2005 22:19:35 +0200 tuned;
wenzelm [Tue, 13 Sep 2005 22:19:35 +0200] rev 17351
tuned;
Tue, 13 Sep 2005 22:19:34 +0200 more self-contained proof elements (material from isar_thy.ML);
wenzelm [Tue, 13 Sep 2005 22:19:34 +0200] rev 17350
more self-contained proof elements (material from isar_thy.ML); tuned;
Tue, 13 Sep 2005 22:19:33 +0200 added cases, rule_contextN;
wenzelm [Tue, 13 Sep 2005 22:19:33 +0200] rev 17349
added cases, rule_contextN; eliminated obsolete Sign.sg;
Tue, 13 Sep 2005 22:19:32 +0200 load locale.ML late (after proof.ML);
wenzelm [Tue, 13 Sep 2005 22:19:32 +0200] rev 17348
load locale.ML late (after proof.ML); tuned module arrangement;
Tue, 13 Sep 2005 22:19:31 +0200 added maps, map_list, lift, lifts;
wenzelm [Tue, 13 Sep 2005 22:19:31 +0200] rev 17347
added maps, map_list, lift, lifts;
Tue, 13 Sep 2005 22:19:30 +0200 added stack.ML;
wenzelm [Tue, 13 Sep 2005 22:19:30 +0200] rev 17346
added stack.ML;
Tue, 13 Sep 2005 22:19:29 +0200 added simple_fact;
wenzelm [Tue, 13 Sep 2005 22:19:29 +0200] rev 17345
added simple_fact; generalized no_attributes;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip