| Thu, 20 Apr 2006 04:20:06 +0200 |
mengj |
Changed the logic detection method.
|
changeset |
files
|
| Wed, 19 Apr 2006 13:11:35 +0200 |
paulson |
exported linkup_logic_mode and changed the default setting
|
changeset |
files
|
| Wed, 19 Apr 2006 10:43:53 +0200 |
paulson |
fix to spacing in switches, for Vampire under SML/NJ
|
changeset |
files
|
| Wed, 19 Apr 2006 10:43:09 +0200 |
paulson |
definition expansion checks for excess variables
|
changeset |
files
|
| Wed, 19 Apr 2006 10:42:45 +0200 |
paulson |
the "th" field of type "clause"
|
changeset |
files
|
| Wed, 19 Apr 2006 10:42:13 +0200 |
paulson |
tidying and reformatting
|
changeset |
files
|
| Wed, 19 Apr 2006 10:41:37 +0200 |
paulson |
tidying; ATP options including CASC mode for Vampire
|
changeset |
files
|
| Tue, 18 Apr 2006 05:38:18 +0200 |
mengj |
Take conjectures and axioms as thms when convert them to ResHolClause.clause format.
|
changeset |
files
|
| Tue, 18 Apr 2006 05:37:43 +0200 |
mengj |
Take conjectures and axioms as thms when convert them to ResClause.clause format.
|
changeset |
files
|
| Tue, 18 Apr 2006 05:36:38 +0200 |
mengj |
Tidied up some programs.
|
changeset |
files
|
| Sun, 16 Apr 2006 08:22:29 +0200 |
haftmann |
fixed typo
|
changeset |
files
|
| Thu, 13 Apr 2006 23:15:44 +0200 |
huffman |
add lemma less_UU_iff as default simp rule
|
changeset |
files
|