Fri, 22 Jul 2005 11:54:29 +0200 Rewrote function remove_suc, since it failed on some equations
berghofe [Fri, 22 Jul 2005 11:54:29 +0200] rev 16900
Rewrote function remove_suc, since it failed on some equations produced by recdef.
Thu, 21 Jul 2005 18:52:17 +0200 write_dimacs_sat_file now generates slightly smaller files
webertj [Thu, 21 Jul 2005 18:52:17 +0200] rev 16899
write_dimacs_sat_file now generates slightly smaller files
Wed, 20 Jul 2005 17:01:20 +0200 revised examples
paulson [Wed, 20 Jul 2005 17:01:20 +0200] rev 16898
revised examples
Wed, 20 Jul 2005 17:00:28 +0200 code streamlining
paulson [Wed, 20 Jul 2005 17:00:28 +0200] rev 16897
code streamlining
Wed, 20 Jul 2005 15:57:10 +0200 Ressurect seq attribute accidently removed
aspinall [Wed, 20 Jul 2005 15:57:10 +0200] rev 16896
Ressurect seq attribute accidently removed
Wed, 20 Jul 2005 07:40:23 +0200 Sort search results in order of relevance, where relevance =
kleing [Wed, 20 Jul 2005 07:40:23 +0200] rev 16895
Sort search results in order of relevance, where relevance = a) better if 0 premises for intro or 1 premise for elim/dest rules b) better if substitution size wrt to current goal is smaller Only applies to intro, dest, elim, and simp (contributed by Rafal Kolanski, NICTA)
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip