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;
Sun, 04 Jul 1999 20:20:36 +0200 close_block: transfer_used_names;
wenzelm [Sun, 04 Jul 1999 20:20:36 +0200] rev 6896
close_block: transfer_used_names; tuned;
Sun, 04 Jul 1999 20:19:28 +0200 added transfer_used_names;
wenzelm [Sun, 04 Jul 1999 20:19:28 +0200] rev 6895
added transfer_used_names;
Sat, 03 Jul 1999 00:40:57 +0200 oops;
wenzelm [Sat, 03 Jul 1999 00:40:57 +0200] rev 6894
oops;
Sat, 03 Jul 1999 00:28:05 +0200 proper text;
wenzelm [Sat, 03 Jul 1999 00:28:05 +0200] rev 6893
proper text;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip