Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary

shortlog

changelog
 graph 
tags

bookmarks

branches

files

gz

help
less
more

(0)
30000
10000
3000
1000
300
100
60
+60
+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.
hide names in theory Random
20090515, by haftmann
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
merged
20090514, by nipkow
Cleaned up Parity a little
20090514, by nipkow
merged
20090514, by berghofe
merged
20090513, by berghofe
Cleaned up code of function test_term.
20090513, by berghofe
dropped accidental debug messages
20090514, by haftmann
adapted code tutorial to recent changes in code
20090514, by haftmann
more permissive wrt. overloaded constants
20090513, by haftmann
merged
20090513, by haftmann
tuned construction of term_of instances
20090513, by haftmann
tuned construction of term_of instances
20090513, by haftmann
dropped legacy operations
20090513, by haftmann
tuned construction of typerep instances
20090513, by haftmann
tuned and generalized construction of code equations for eq; tuned interface
20090513, by haftmann
added abstract operations for typerep/term_of
20090513, by haftmann
tuned and generalized construction of code equations for eq
20090513, by haftmann
dropped sort constraint on predicate equality
20090513, by haftmann
itself is instance of eq
20090513, by haftmann
Now deals with division
20090513, by chaieb
updated keywords
20090512, by haftmann
split Predicate_Compile examples into separate theory
20090512, by haftmann
adapted to changes in module Code
20090512, by haftmann
values is now a keyword
20090512, by haftmann
merged
20090512, by haftmann
transferred code generator preprocessor into separate module
20090512, by haftmann
marginally tuned
20090512, by haftmann
examples using code_pred
20090512, by haftmann
added dummy values keyword
20090512, by haftmann
tuned exception code
20090512, by haftmann
less
more

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