Mon, 07 Mar 2005 16:55:36 +0100 |
paulson |
Tools/meson.ML: signature, structure and "open" rather than "local"
|
file |
diff |
annotate
|
Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
Fri, 04 Feb 2005 18:35:46 +0100 |
paulson |
clausification and proof reconstruction
|
file |
diff |
annotate
|
Thu, 03 Feb 2005 16:06:19 +0100 |
paulson |
new treatment of demodulation in proof reconstruction
|
file |
diff |
annotate
|
Wed, 26 Jan 2005 11:53:30 +0100 |
paulson |
implemented cache for conversion to clauses
|
file |
diff |
annotate
|
Fri, 21 Jan 2005 13:53:30 +0100 |
paulson |
fixed the treatment of demodulation and paramodulation
|
file |
diff |
annotate
|
Tue, 07 Dec 2004 18:10:13 +0100 |
paulson |
renamed attributes to lower case
|
file |
diff |
annotate
|
Thu, 02 Dec 2004 16:02:29 +0100 |
paulson |
clauses counted from 0
|
file |
diff |
annotate
|
Thu, 02 Dec 2004 11:09:19 +0100 |
paulson |
new CLAUSIFY attribute for proof reconstruction with lemmas
|
file |
diff |
annotate
|
Fri, 20 Aug 2004 12:21:03 +0200 |
paulson |
proof reconstruction for external ATPs
|
file |
diff |
annotate
|