Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
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.
A few new theorems
15 months ago, by paulson
avoid legacy binding errors in Sledgehammer Isar proofs
15 months ago, by blanchet
parse applie lambdas correctly plus deal gracefully with lambda-lifting in Zipperposition
15 months ago, by blanchet
added argo
15 months ago, by blanchet
allow (~) syntax in TPTP proofs for unapplied negation
15 months ago, by blanchet
reconstruct Zipperposition's if-then-else in Sledgehammer Isar proofs
15 months ago, by blanchet
use same associativity as Isabelle when parsing HOL proofs
15 months ago, by blanchet
improved Sledgehammer's HOL proof parser w.r.t. negation
15 months ago, by blanchet
clarified signature;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
minor performance tuning;
15 months ago, by wenzelm
merged
15 months ago, by paulson
A few new or simplified proofs
15 months ago, by paulson
tuned: more standard order;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
proper fontenc for cartouches (amending d052d61da398);
15 months ago, by wenzelm
clarified modules;
15 months ago, by wenzelm
clarified signature;
15 months ago, by wenzelm
clarified modules;
15 months ago, by wenzelm
tuned;
15 months ago, by wenzelm
more robust: prefer linear data flow;
15 months ago, by wenzelm
added first proof reconstruction test for Sledgehammer
15 months ago, by desharna
tuned;
16 months ago, by wenzelm
clarified signature;
16 months ago, by wenzelm
clarified signature (again): follow Isabelle/Java/Scala;
16 months ago, by wenzelm
tuned (following 69c6d3e87660);
16 months ago, by wenzelm
tuned --- avoid pointless indirection (see also a2df9de46060);
16 months ago, by wenzelm
(pointlessly) get rid of some simp calls within "proof"
16 months ago, by paulson
reduced prominence of lemma names
16 months ago, by haftmann
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip