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

deleted ineffective declarations
2015-02-15, by haftmann
dropped unused rules
2015-02-15, by haftmann
more direct expression of syntactic function records
2015-02-15, by haftmann
self-contained declaration attribute
2015-02-15, by haftmann
simpset with no redundancy
2015-02-15, by haftmann
times_divide_eq rules are already [simp] despite of comment
2015-02-15, by haftmann
explicit equivalence for strict order on lattices
2015-02-15, by haftmann
tuned
2015-02-15, by haftmann
purge variables not mentioned in body from pattern
2015-02-15, by haftmann
only collapse patterns with disjunctive variable names
2015-02-14, by haftmann
clarified
2015-02-14, by haftmann
avoid unused arguments
2015-02-14, by haftmann
tuned
2015-02-14, by haftmann
more consistent teminology
2015-02-14, by haftmann
fact consolidation
2015-02-14, by haftmann
dropped redundancy
2015-02-14, by haftmann
less warnings
2015-02-14, by haftmann
merged
2015-02-13, by wenzelm
proper context;
2015-02-11, by wenzelm
proper context;
2015-02-11, by wenzelm
proper context;
2015-02-11, by wenzelm
proper context;
2015-02-11, by wenzelm
proper context and method setup;
2015-02-11, by wenzelm
new lemmas re refinement of one equivalence relation WRT another
2015-02-12, by paulson
rel_pmf preserves orders
2015-02-11, by Andreas Lochbihler
generalise lemma
2015-02-11, by Andreas Lochbihler
more lemmas
2015-02-11, by Andreas Lochbihler
merged
2015-02-11, by Andreas Lochbihler
more transfer rules
2015-02-11, by Andreas Lochbihler
add lemmas about functions on option
2015-02-11, by Andreas Lochbihler

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

isabelle