Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
3000
1000
300
100
30
10
7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
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.
Restoration of the two "bypassed" theorems Union_quotient and quotient_disj
19970527, by paulson
Removal of card_insert_disjoint, which is now a default rewrite rule
19970527, by paulson
New theorem disjoint_eq_subset_Compl
19970527, by paulson
New theorem le_Suc_eq
19970527, by paulson
Removal of mask.sig and mask.sml
19970527, by paulson
Removal of module Mask and datatype binding with its constructor >
19970527, by paulson
New theorems suggested by Florian Kammueller
19970527, by paulson
less
more

(0)
3000
1000
300
100
30
10
7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip