isabelle: Graph

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 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip

merged
2009-06-11, by haftmann
explicit instantiation yields considerable speedup
2009-06-11, by haftmann
separate directory for datatype package
2009-06-10, by haftmann
tuned whitespace
2009-06-10, by haftmann
correct check for instantiatability
2009-06-10, by haftmann
tuned order
2009-06-10, by haftmann
merged
2009-06-10, by haftmann
separate directory for datatype package
2009-06-10, by haftmann
separate directory for datatype package
2009-06-10, by haftmann
revised interpretation combinator for datatype constructions
2009-06-10, by haftmann
tuned header
2009-06-10, by haftmann
merged
2009-06-10, by haftmann
merged
2009-06-09, by haftmann
tuned make/map/merge combinators
2009-06-09, by haftmann
corrected printing of record labels
2009-06-09, by haftmann
tuned author list
2009-06-09, by haftmann
tuned whitespace
2009-06-09, by haftmann
first running version of qc generators for datatypes
2009-06-09, by haftmann
less brackets
2009-06-09, by haftmann
merged
2009-06-13, by huffman
generalize lemmas about inner
2009-06-12, by huffman
replace all occurrences of dot at type real^'n with inner
2009-06-12, by huffman
declare inner_add, inner_diff [algebra_simps]; declare inner_scaleR [simp]
2009-06-12, by huffman
avoid using vec1 in continuity lemmas
2009-06-12, by huffman
add lemma tendsto_setsum
2009-06-12, by huffman
remove simp add: norm_scaleR
2009-06-12, by huffman
declare norm_scaleR [simp]; declare scaleR_cancel lemmas [simp]
2009-06-12, by huffman
replace all occurrences of 'op *s' at type real^'n with scaleR
2009-06-12, by huffman

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

isabelle