| Thu, 31 Mar 2005 20:12:54 +0200 |
quigley |
*** empty log message ***
|
file |
diff |
annotate
|
| Mon, 14 Mar 2005 17:04:10 +0100 |
paulson |
bug fixes involving typechecking clauses
|
file |
diff |
annotate
|
| 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
|
| Thu, 09 Dec 2004 15:49:40 +0100 |
paulson |
Comments and other tweaks by Jia
|
file |
diff |
annotate
|
| Fri, 03 Dec 2004 17:03:05 +0100 |
paulson |
fixes to clause conversion
|
file |
diff |
annotate
|
| Fri, 03 Dec 2004 15:28:12 +0100 |
paulson |
trying to fix the transfer problem
|
file |
diff |
annotate
|
| Thu, 02 Dec 2004 11:09:19 +0100 |
paulson |
new CLAUSIFY attribute for proof reconstruction with lemmas
|
file |
diff |
annotate
|
| Tue, 30 Nov 2004 18:25:55 +0100 |
paulson |
resolution package tools by Jia Meng
|
file |
diff |
annotate
|