Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
10000
3000
1000
300
100
15
+15
+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.
Simprocs for type "nat" no longer introduce numerals unless they are already
20010625, by paulson
added NanoJava
20010616, by oheimb
tidied
20010613, by paulson
New proof of gcd_zero after a change to Divides.ML made the old one fail
20010613, by paulson
a couple of new theorems
20010613, by paulson
corrected xsymbol/HTML syntax
20010612, by oheimb
Fixed bug in function rebuild.
20010611, by berghofe
new GroupTheory example, e.g. the Sylow theorem (preliminary version)
20010610, by paulson
tuned
20010609, by wenzelm
tuned Primes theory;
20010609, by wenzelm
addition of the GREATEST quantifier
20010609, by paulson
renaming of evs in the Fake rule
20010609, by paulson
new material from the Sylow proof
20010609, by paulson
simplified a proof using new dvd rules
20010609, by paulson
moved Primes.thy from NumberTheory to Library
20010609, by paulson
less
more

(0)
10000
3000
1000
300
100
15
+15
+100
+300
+1000
+3000
+10000
+30000
tip