Tue, 06 Jul 1999 21:09:05 +0200 _reflcl;
wenzelm [Tue, 06 Jul 1999 21:09:05 +0200] rev 6906
_reflcl;
Tue, 06 Jul 1999 21:08:30 +0200 added Numeral.thy, Tools/numeral_syntax.ML;
wenzelm [Tue, 06 Jul 1999 21:08:30 +0200] rev 6905
added Numeral.thy, Tools/numeral_syntax.ML;
Tue, 06 Jul 1999 21:06:51 +0200 removed proof history nesting commands (not useful);
wenzelm [Tue, 06 Jul 1999 21:06:51 +0200] rev 6904
removed proof history nesting commands (not useful);
Tue, 06 Jul 1999 21:06:03 +0200 improved errors;
wenzelm [Tue, 06 Jul 1999 21:06:03 +0200] rev 6903
improved errors;
Tue, 06 Jul 1999 21:04:37 +0200 removed nesting (unused);
wenzelm [Tue, 06 Jul 1999 21:04:37 +0200] rev 6902
removed nesting (unused);
Tue, 06 Jul 1999 21:03:57 +0200 export term_of_typ;
wenzelm [Tue, 06 Jul 1999 21:03:57 +0200] rev 6901
export term_of_typ;
Tue, 06 Jul 1999 21:03:34 +0200 begin_theory: disallow finished;
wenzelm [Tue, 06 Jul 1999 21:03:34 +0200] rev 6900
begin_theory: disallow finished;
Tue, 06 Jul 1999 21:03:03 +0200 added clear_mss;
wenzelm [Tue, 06 Jul 1999 21:03:03 +0200] rev 6899
added clear_mss;
Mon, 05 Jul 1999 09:52:25 +0200 variant version;
wenzelm [Mon, 05 Jul 1999 09:52:25 +0200] rev 6898
variant version;
Sun, 04 Jul 1999 20:21:45 +0200 fixed scope of x:??H;
wenzelm [Sun, 04 Jul 1999 20:21:45 +0200] rev 6897
fixed scope of x:??H; improved final reasoning: fully formal now;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip