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
+3000
+10000
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.
keep formula right before skolemization, because the universal variables might be different (or differently ordered) as in the original axiom or negated conjecture from which it was skolemized
2014-01-30, by blanchet
renamed Sledgehammer options for symmetry between positive and negative versions
2014-01-30, by blanchet
more robust w.r.t. exceptions raised by proof methods
2014-01-30, by blanchet
tuning
2014-01-30, by blanchet
compile
2014-01-30, by blanchet
tuning
2014-01-30, by blanchet
added 'algebra' and 'meson' to 'try0'
2014-01-30, by blanchet
made 'try0' (more) silent
2014-01-30, by blanchet
'using' already uses the new Skolemizer, enabling a subtly shorter syntax
2014-01-30, by blanchet
merged
2014-01-30, by traytel
extended cardinals library
2014-01-30, by traytel
define ofilter outside of wo_rel
2014-01-30, by traytel
more direct simplification rules for 1 div/mod numeral;
2014-01-30, by haftmann
systematically suppress tracing if asked for (affects 'meson' proof method)
2014-01-30, by blanchet
silenced reconstructors in Sledgehammer
2014-01-30, by blanchet
proper 'show' detection
2014-01-29, by blanchet
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-16
+16
+100
+300
+1000
+3000
+10000
tip