webertj [Wed, 10 Mar 2004 20:31:47 +0100] rev 14454
*** empty log message ***
webertj [Wed, 10 Mar 2004 20:28:18 +0100] rev 14453
Internal and external SAT solvers
webertj [Wed, 10 Mar 2004 20:27:56 +0100] rev 14452
Formulas of propositional logic
webertj [Wed, 10 Mar 2004 20:21:08 +0100] rev 14451
ZCHAFF_HOME variable added
paulson [Wed, 10 Mar 2004 10:34:56 +0100] rev 14450
new thm
paulson [Wed, 10 Mar 2004 10:34:49 +0100] rev 14449
strengthened the axclass claims
kleing [Tue, 09 Mar 2004 04:22:50 +0100] rev 14448
suggest -p 1 proof object level for HOL
kleing [Tue, 09 Mar 2004 04:19:41 +0100] rev 14447
include more explanation of variables
ballarin [Mon, 08 Mar 2004 12:18:19 +0100] rev 14446
*** empty log message ***
ballarin [Mon, 08 Mar 2004 12:17:43 +0100] rev 14445
Bug-fixes for transitivity reasoner.