Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
14
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScriptenabled browsers.
Importing or moving a few more useful theorems
default
tip
36 hours ago, by paulson
merged
3 days ago, by paulson
A few new theorems
3 days ago, by paulson
avoid legacy binding errors in Sledgehammer Isar proofs
3 days ago, by blanchet
parse applie lambdas correctly plus deal gracefully with lambdalifting in Zipperposition
3 days ago, by blanchet
added argo
3 days ago, by blanchet
allow (~) syntax in TPTP proofs for unapplied negation
3 days ago, by blanchet
reconstruct Zipperposition's ifthenelse in Sledgehammer Isar proofs
3 days ago, by blanchet
use same associativity as Isabelle when parsing HOL proofs
3 days ago, by blanchet
improved Sledgehammer's HOL proof parser w.r.t. negation
3 days ago, by blanchet
clarified signature;
4 days ago, by wenzelm
clarified signature;
4 days ago, by wenzelm
clarified signature;
4 days ago, by wenzelm
minor performance tuning;
4 days ago, by wenzelm
less
more

(0)
30000
10000
3000
1000
300
100
14
tip