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
+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.
experimental addition of quickcheck
20090515, by haftmann
syntax support for term expressions
20090515, by haftmann
introduced Thm.generatedK
20090518, by haftmann
is a definition
20090517, by haftmann
merged
20090516, by bulwahn
added new kind generated_theorem for theorems which are generated by packages to distinguish between theorems from users and packages
20090516, by bulwahn
merged
20090516, by bulwahn
added collection of simplification rules of recursive functions for quickcheck
20090516, by bulwahn
merged
20090516, by bulwahn
added predicate transformation function for code generation
20090515, by bulwahn
added predicate transformation function for code generation
20090515, by bulwahn
proof tuned
20090516, by nipkow
merged
20090516, by nipkow
"{x. P x & x=t & Q x}" is now rewritten to "if P t & Q t then {t} else {}"
20090516, by nipkow
merged
20090515, by huffman
continuity proofs for approx function on deflations; lemma cast_below_imp_below
20090515, by huffman
allow lazy domain arguments to have class cpo
20090512, by huffman
add cpo_type function
20090512, by huffman
fix domain package parsing of lhs sort constraints
20090512, by huffman
export quiet_mode and trace_domain refs for domain package
20090512, by huffman
new lemma
20090515, by nipkow
merged
20090514, by haftmann
merged
20090514, by haftmann
merged module code_unit.ML into code.ML
20090514, by haftmann
monomorphic code generation for power operations
20090514, by haftmann
preprocessing must consider eq
20090514, by haftmann
quickcheck size starts with 0
20090514, by haftmann
strip sorts while checking pattern subsumption
20090514, by haftmann
rewrite op = == eq handled by simproc
20090514, by haftmann
updated generated document
20090514, by haftmann
less
more

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