Thu, 03 Nov 1994 08:34:53 +0100 added warning message
clasohm [Thu, 03 Nov 1994 08:34:53 +0100] rev 682
added warning message "Currently parsed expression could be extremely ambiguous."
Wed, 02 Nov 1994 12:48:22 +0100 Provers/classical: now takes theorem "classical" as argument, proves "swap"
lcp [Wed, 02 Nov 1994 12:48:22 +0100] rev 681
Provers/classical: now takes theorem "classical" as argument, proves "swap" Provers/classical/depth_tac,deepen_tac: new
Wed, 02 Nov 1994 12:44:03 +0100 Provers/hypsubst: greatly simplified! No longer simulates a
lcp [Wed, 02 Nov 1994 12:44:03 +0100] rev 680
Provers/hypsubst: greatly simplified! No longer simulates a "eres_inst_tac" using rev_cut_eq; instead simply rotates the chosen equality to the end!
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip