berghofe [Fri, 22 Jul 2005 11:54:29 +0200] rev 16900
Rewrote function remove_suc, since it failed on some equations
produced by recdef.
webertj [Thu, 21 Jul 2005 18:52:17 +0200] rev 16899
write_dimacs_sat_file now generates slightly smaller files
paulson [Wed, 20 Jul 2005 17:01:20 +0200] rev 16898
revised examples
paulson [Wed, 20 Jul 2005 17:00:28 +0200] rev 16897
code streamlining
aspinall [Wed, 20 Jul 2005 15:57:10 +0200] rev 16896
Ressurect seq attribute accidently removed
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)
wenzelm [Tue, 19 Jul 2005 20:47:01 +0200] rev 16894
Inttab.defined;
wenzelm [Tue, 19 Jul 2005 20:47:00 +0200] rev 16893
some structured proofs on completeness;
wenzelm [Tue, 19 Jul 2005 20:46:59 +0200] rev 16892
more contribs;
wenzelm [Tue, 19 Jul 2005 17:54:32 +0200] rev 16891
tuned;