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 JavaScript-enabled browsers.
code_datatype and power
2009-04-22, by haftmann
tuned
2009-04-22, by haftmann
code_datatype antiquotation; tuned
2009-04-22, by haftmann
more localisation
2009-04-22, by haftmann
power operation defined generic
2009-04-22, by haftmann
fixed compilation of predicate types in ML environment
2009-04-22, by haftmann
merged
2009-04-21, by haftmann
merged
2009-04-20, by haftmann
empty page leads to results on duplex printers as expected
2009-04-20, by haftmann
changes in power operations
2009-04-20, by haftmann
power operation on functions in theory Nat; power operation on relations in theory Transitive_Closure
2009-04-20, by haftmann
yield is now a static ML function
2009-04-20, by haftmann
power operation on functions with syntax o^; power operation on relations with syntax ^^
2009-04-20, by haftmann
formal declaration of undefined parameters after class instantiation
2009-04-17, by haftmann
power operation on relations now with syntax ^^
2009-04-17, by haftmann
separated funpow, relpow from power on monoids
2009-04-17, by haftmann
static compilation of enumeration type
2009-04-17, by haftmann
re-engineering of evaluation conversions
2009-04-17, by haftmann
tuned
2009-04-17, by haftmann
separate channel for Quickcheck evaluations
2009-04-17, by haftmann
merged
2009-04-17, by haftmann
zmod_zmult_zmult1 now subsumed by mod_mult_mult1
2009-04-17, by haftmann
diagnostic commands now in code_thingol; tuned code of funny continuations
2009-04-17, by haftmann
simplified code
2009-04-17, by haftmann
zmod_zmult_zmult1 now subsumed by mod_mult_mult1
2009-04-17, by haftmann
added both cancel_div_mod_procs
2009-04-17, by haftmann
wellsortedness is no issue for a user manual any more
2009-04-16, by haftmann
whitespace tuning
2009-04-16, by haftmann
added simproc
2009-04-16, by haftmann
dropped unnamed infix
2009-04-16, by haftmann
tuned setups of CancelDivMod
2009-04-16, by haftmann
merged
2009-04-16, by haftmann
tuned order of functions
2009-04-16, by haftmann
generalized some simprocs from int to semiring_div
2009-04-16, by haftmann
tightended specification of class semiring_div
2009-04-16, by haftmann
code generator bootstrap theory src/Tools/Code_Generator.thy
2009-04-15, by haftmann
say farewell to code related to old code_funcgr module
2009-04-15, by haftmann
wrecked old code_funcgr module
2009-04-15, by haftmann
index type is a semiring_div
2009-04-15, by haftmann
theory NatBin now named Nat_Numeral
2009-04-15, by haftmann
default instantiation for unit type
2009-04-15, by haftmann
more coherent developement in Divides.thy and IntDiv.thy
2009-04-15, by haftmann
add more examples to Domain_ex.thy
2009-04-21, by huffman
merged
2009-04-21, by huffman
add HOLCF/ex/Domain_ex.thy, with example uses of the domain package
2009-04-21, by huffman
make domain package ML interface more consistent with datatype package; use binding instead of bstring
2009-04-21, by huffman
use Sign.add_consts instead of ContConsts.add_consts
2009-04-21, by huffman
merged
2009-04-21, by huffman
allow infix declarations for type constructors defined with domain package
2009-04-20, by huffman
remove obsolete comments
2009-04-20, by huffman
fix too-specific types in lemmas match_{sinl,sinr}_simps
2009-04-20, by huffman
domain package now generates iff rules for definedness of constructors
2009-04-13, by huffman
change definition of match combinators for fixrec package
2009-04-11, by huffman
domain package: simplify internal proofs of con_rews
2009-04-10, by huffman
set up domain package in Domain.thy
2009-04-10, by huffman
tuned proof
2009-04-21, by krauss
replace type cong = {thm : thm, lhs : term} by plain thm -- the other component has been unused for a long time.
2009-04-21, by krauss
inlined afterqeds to improve clarity; tuned
2009-04-21, by krauss
simplify computation and consistency checks of argument counts in the input
2009-04-21, by krauss
removed obsolete test tags;
2009-04-20, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-300
-100
-60
+60
+100
+300
+1000
+3000
+10000
+30000
tip