| Tue, 23 Aug 2011 17:12:54 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Tue, 23 Aug 2011 16:37:23 +0200 |
blanchet |
always use TFF if possible
|
changeset |
files
|
| Tue, 23 Aug 2011 16:14:19 +0200 |
blanchet |
clearer separator in generated file names
|
changeset |
files
|
| Tue, 23 Aug 2011 16:07:01 +0200 |
blanchet |
exploit TFF format in Z3 used as ATP, and renamed it "z3_tptp"
|
changeset |
files
|
| Tue, 23 Aug 2011 15:50:27 +0200 |
blanchet |
updated known failures for Z3 3.0 TPTP
|
changeset |
files
|
| Tue, 23 Aug 2011 15:18:46 +0200 |
blanchet |
updated Z3 docs
|
changeset |
files
|
| Tue, 23 Aug 2011 15:15:43 +0200 |
blanchet |
avoid TFF format with older Vampire versions
|
changeset |
files
|
| Tue, 23 Aug 2011 14:57:16 +0200 |
blanchet |
update the Vampire related parts of the documentation
|
changeset |
files
|
| Tue, 23 Aug 2011 14:44:19 +0200 |
blanchet |
fixed TFF slicing
|
changeset |
files
|
| Tue, 23 Aug 2011 14:44:19 +0200 |
blanchet |
kindly ask Vampire to output axiom names
|
changeset |
files
|
| Tue, 23 Aug 2011 14:44:19 +0200 |
blanchet |
added formats to the slice and use TFF for remote Vampire
|
changeset |
files
|
| Tue, 23 Aug 2011 07:14:09 +0200 |
haftmann |
tuned specifications, syntax and proofs
|
changeset |
files
|
| Mon, 22 Aug 2011 22:00:36 +0200 |
haftmann |
tuned specifications and syntax
|
changeset |
files
|
| Tue, 23 Aug 2011 03:34:17 +0900 |
Cezary Kaliszyk |
Quotient Package: some infrastructure for lifting inside sets
|
changeset |
files
|