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.
Comment
20070303, by aspinall
clarified code
20070303, by haftmann
clarified error message
20070303, by haftmann
moved instance option :: finite to Finite_Set.thy
20070303, by haftmann
moved instance option :: finite here
20070303, by haftmann
Fix idvalue output and PGML print mode raw encode/decode.
20070303, by aspinall
permitting empty datatypes
20070302, by haftmann
improved handling of nat numerals
20070302, by haftmann
tuned code theorems for ord on integers
20070302, by haftmann
simplified code generator setup
20070302, by haftmann
tuned code theorems
20070302, by haftmann
added add_numerals_of
20070302, by haftmann
now using "class"
20070302, by haftmann
using "fst" "snd" for Haskell code
20070302, by haftmann
added code theorems for UNIV
20070302, by haftmann
less
more

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