Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
Importing or moving a few more useful theorems
13 months ago, by paulson
merged
13 months ago, by paulson
A few new theorems
13 months ago, by paulson
avoid legacy binding errors in Sledgehammer Isar proofs
13 months ago, by blanchet
parse applie lambdas correctly plus deal gracefully with lambda-lifting in Zipperposition
13 months ago, by blanchet
added argo
13 months ago, by blanchet
allow (~) syntax in TPTP proofs for unapplied negation
13 months ago, by blanchet
reconstruct Zipperposition's if-then-else in Sledgehammer Isar proofs
13 months ago, by blanchet
use same associativity as Isabelle when parsing HOL proofs
13 months ago, by blanchet
improved Sledgehammer's HOL proof parser w.r.t. negation
13 months ago, by blanchet
clarified signature;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
clarified signature;
13 months ago, by wenzelm
minor performance tuning;
13 months ago, by wenzelm
merged
13 months ago, by paulson
A few new or simplified proofs
13 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
tip