isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

composition of polynomials
2009-02-18, by huffman
add some lemmas, cleaned up
2009-02-18, by huffman
generalize le_imp_power_dvd and power_le_dvd; move from Divides to Power
2009-02-18, by huffman
move polynomial order stuff from Fundamental_Theorem_Algebra to Polynomial
2009-02-18, by huffman
merged
2009-02-18, by huffman
more subsection headings
2009-02-18, by huffman
speed up proof of exp_exists
2009-02-18, by huffman
tuned
2009-02-18, by haftmann
sort instances wrt. to class hierarchy
2009-02-18, by haftmann
fixed signature
2009-02-18, by haftmann
tuned accessor name
2009-02-18, by haftmann
more precise improvement in instantiation user space type system
2009-02-18, by haftmann
do not drop arguments to 0, 1
2009-02-18, by haftmann
merged
2009-02-18, by haftmann
reverted to previous version of Finite_Set.thy
2009-02-18, by haftmann
merged
2009-02-18, by haftmann
merged
2009-02-18, by haftmann
first working version
2009-02-18, by haftmann
tuned comments, stripped ID, deleted superfluous code
2009-02-18, by haftmann
stripped ID
2009-02-18, by haftmann
Syntactic support for products over set intervals
2009-02-18, by paulson
No idea what happened here!
2009-02-18, by paulson
Even and odd powers of -1
2009-02-17, by paulson
merged
2009-02-18, by blanchet
Reintroduce set_interpreter for Collect and op :.
2009-02-17, by blanchet
Added Nitpick tag to 'of_int_of_nat'.
2009-02-16, by blanchet
add lemmas for exponentiation
2009-02-17, by huffman
merged
2009-02-17, by haftmann
unified variable names in case expressions; no exponential fork in translation of case expressions
2009-02-17, by haftmann
merged
2009-02-17, by huffman

less more | (0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle