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.
tuned comments;
21 months ago, by wenzelm
removed somewhat pointless transaction: db is meant to be finished (or updated monotonically);
21 months ago, by wenzelm
tuned signature;
21 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature: avoid repeated db_context.input_database;
22 months ago, by wenzelm
clarified signature: more robust;
22 months ago, by wenzelm
removed somewhat pointless operations (see a6c69599ab99);
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified names;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
clarified signature: more explicit types;
22 months ago, by wenzelm
unused (see 0d30ea76756c);
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
clarified signature;
22 months ago, by wenzelm
tuned;
22 months ago, by wenzelm
unused (see 3064e165c660);
22 months ago, by wenzelm
merge
22 months ago, by blanchet
changed the order of Zipperposition slices in Sledgehammer
22 months ago, by blanchet
merged
22 months ago, by paulson
The wellordering instantiation for length-ordered lists
22 months ago, by paulson
show sum_list defn
22 months ago, by nipkow
prettified def
22 months ago, by nipkow
More lemmas.
22 months ago, by haftmann
Some more proofs.
22 months ago, by haftmann
a few new theorems
22 months ago, by paulson
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-50
-30
+30
+50
+100
+300
+1000
+3000
tip