Tue, 20 Aug 1996 12:39:30 +0200 New classical reasoner: warns of, and ignores, redundant rules.
paulson [Tue, 20 Aug 1996 12:39:30 +0200] rev 1927
New classical reasoner: warns of, and ignores, redundant rules. Also warns of rules supplied with different "hints" (Safe, etc.)
Tue, 20 Aug 1996 12:36:58 +0200 Addition of function set_of_list
paulson [Tue, 20 Aug 1996 12:36:58 +0200] rev 1926
Addition of function set_of_list
Tue, 20 Aug 1996 12:32:16 +0200 Some tidying. This brittle proof depends upon
paulson [Tue, 20 Aug 1996 12:32:16 +0200] rev 1925
Some tidying. This brittle proof depends upon AddSEs [less_SucE];
Tue, 20 Aug 1996 12:23:13 +0200 Corrected for new classical reasoner: redundant rules
paulson [Tue, 20 Aug 1996 12:23:13 +0200] rev 1924
Corrected for new classical reasoner: redundant rules are now ignored, even if this could increase their priority
Mon, 19 Aug 1996 15:35:11 +0200 updated html-link
nipkow [Mon, 19 Aug 1996 15:35:11 +0200] rev 1923
updated html-link
Mon, 19 Aug 1996 13:06:30 +0200 Installation of auto_tac; re-organization
paulson [Mon, 19 Aug 1996 13:06:30 +0200] rev 1922
Installation of auto_tac; re-organization
Mon, 19 Aug 1996 13:03:17 +0200 Tidied up the proofs
paulson [Mon, 19 Aug 1996 13:03:17 +0200] rev 1921
Tidied up the proofs
Mon, 19 Aug 1996 11:51:39 +0200 Added impOfSubs
paulson [Mon, 19 Aug 1996 11:51:39 +0200] rev 1920
Added impOfSubs
Mon, 19 Aug 1996 11:49:31 +0200 Now less_zeroE is a Safe Elim rule
paulson [Mon, 19 Aug 1996 11:49:31 +0200] rev 1919
Now less_zeroE is a Safe Elim rule
Mon, 19 Aug 1996 11:33:08 +0200 Improved comment
paulson [Mon, 19 Aug 1996 11:33:08 +0200] rev 1918
Improved comment
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip