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;
Tue, 19 Jul 2005 20:47:00 +0200 some structured proofs on completeness;
wenzelm [Tue, 19 Jul 2005 20:47:00 +0200] rev 16893
some structured proofs on completeness;
Tue, 19 Jul 2005 20:46:59 +0200 more contribs;
wenzelm [Tue, 19 Jul 2005 20:46:59 +0200] rev 16892
more contribs;
Tue, 19 Jul 2005 17:54:32 +0200 tuned;
wenzelm [Tue, 19 Jul 2005 17:54:32 +0200] rev 16891
tuned;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip