Fri, 22 Jul 2005 13:19:06 +0200 streamlined the tptp output
paulson [Fri, 22 Jul 2005 13:19:06 +0200] rev 16903
streamlined the tptp output
Fri, 22 Jul 2005 13:18:54 +0200 removed unused code
paulson [Fri, 22 Jul 2005 13:18:54 +0200] rev 16902
removed unused code
Fri, 22 Jul 2005 11:55:11 +0200 Tuned comment.
berghofe [Fri, 22 Jul 2005 11:55:11 +0200] rev 16901
Tuned comment.
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)
Tue, 19 Jul 2005 20:47:01 +0200 Inttab.defined;
wenzelm [Tue, 19 Jul 2005 20:47:01 +0200] rev 16894
Inttab.defined;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip