Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Fri, 28 Oct 2005 02:23:49 +0200
A new file that defines datatypes representing FOL clauses that are derived from HOL formulae. This file also has functions that convert lambda terms to combinator expressions, and functions that convert clauses to TPTP format.
changeset
mengj [Fri, 28 Oct 2005 02:23:49 +0200] rev 17998
A new file that defines datatypes representing FOL clauses that are derived from HOL formulae. This file also has functions that convert lambda terms to combinator expressions, and functions that convert clauses to TPTP format.
Thu, 27 Oct 2005 18:25:33 +0200
sorted lemma lists
changeset
paulson [Thu, 27 Oct 2005 18:25:33 +0200] rev 17997
sorted lemma lists
Thu, 27 Oct 2005 13:59:06 +0200
* HOL: alternative iff syntax;
changeset
wenzelm [Thu, 27 Oct 2005 13:59:06 +0200] rev 17996
* HOL: alternative iff syntax;
Thu, 27 Oct 2005 13:54:43 +0200
consts: monomorphic;
changeset
wenzelm [Thu, 27 Oct 2005 13:54:43 +0200] rev 17995
consts: monomorphic;
(0)
-10000
-3000
-1000
-300
-100
-30
-10
-4
+4
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip