Fri, 26 Aug 2005 19:36:07 +0200 |
quigley |
DFG output now works for untyped rules (ML "ResClause.untyped();")
|
file |
diff |
annotate
|
Mon, 01 Aug 2005 19:20:30 +0200 |
wenzelm |
Defs.monomorphic;
|
file |
diff |
annotate
|
Thu, 28 Jul 2005 17:54:22 +0200 |
paulson |
uniform treatment of variable prefixes
|
file |
diff |
annotate
|
Wed, 27 Jul 2005 11:30:34 +0200 |
paulson |
simpler variable names, and no types for monomorphic constants
|
file |
diff |
annotate
|
Fri, 22 Jul 2005 13:19:06 +0200 |
paulson |
streamlined the tptp output
|
file |
diff |
annotate
|
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
|