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;
(0) -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip