| Wed, 13 Jul 2005 15:05:48 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
| Mon, 11 Jul 2005 16:42:42 +0200 |
quigley |
Fixed some problems with the signal handler.
|
file |
diff |
annotate
|
| Thu, 07 Jul 2005 18:25:02 +0200 |
paulson |
inserted basic relevance-checking code, WHICH ONLY WORKS FOR 1ST SUBGOAL
|
file |
diff |
annotate
|
| Fri, 03 Jun 2005 12:41:28 +0200 |
paulson |
no longer emits literals for type class HOL.type; also minor tidying
|
file |
diff |
annotate
|
| Mon, 23 May 2005 00:18:51 +0200 |
quigley |
Moved some of the clausify functions from ATP/res_clasimpset.ML to res_axioms.ML.
|
file |
diff |
annotate
|
| Thu, 12 May 2005 18:24:42 +0200 |
paulson |
theorem names for caching
|
file |
diff |
annotate
|
| Tue, 19 Apr 2005 18:08:44 +0200 |
paulson |
more tidying of libraries in Reconstruction
|
file |
diff |
annotate
|
| Tue, 22 Mar 2005 16:30:43 +0100 |
paulson |
ensuring that "equal" is not a function
|
file |
diff |
annotate
|
| Tue, 15 Mar 2005 17:07:41 +0100 |
paulson |
more concise ASCII escaping
|
file |
diff |
annotate
|
| Mon, 14 Mar 2005 17:04:10 +0100 |
paulson |
bug fixes involving typechecking clauses
|
file |
diff |
annotate
|
| Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
| Fri, 21 Jan 2005 18:00:18 +0100 |
paulson |
Jia Meng: delta simpsets and clasets
|
file |
diff |
annotate
|
| Thu, 09 Dec 2004 15:49:40 +0100 |
paulson |
Comments and other tweaks by Jia
|
file |
diff |
annotate
|
| Tue, 30 Nov 2004 18:25:55 +0100 |
paulson |
resolution package tools by Jia Meng
|
file |
diff |
annotate
|