Sun, 11 Nov 2001 21:33:05 +0100 theorem, have, show etc: multiple statements;
wenzelm [Sun, 11 Nov 2001 21:33:05 +0100] rev 12141
theorem, have, show etc: multiple statements;
Sun, 11 Nov 2001 21:32:12 +0100 facts: multiple args;
wenzelm [Sun, 11 Nov 2001 21:32:12 +0100] rev 12140
facts: multiple args;
Sun, 11 Nov 2001 21:31:52 +0100 added conjunction_tac;
wenzelm [Sun, 11 Nov 2001 21:31:52 +0100] rev 12139
added conjunction_tac;
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip