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.
ballarin [Mon, 08 Mar 2004 12:16:57 +0100] rev 14444
Added documentation for transitivity solver setup.
paulson [Mon, 08 Mar 2004 11:12:06 +0100] rev 14443
generic theorems about exponentials; general tidying up