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

simplified logical constructions
2020-02-05, by haftmann
simplified logical constructions
2020-02-05, by haftmann
more theorems
2020-02-03, by haftmann
Simplified, generalised version of Constructible due to E. Gunther, M. Pagano and P. Sánchez Terraf
2020-02-04, by paulson
tuned
2020-02-04, by nipkow
tuned
2020-02-03, by nipkow
added Interval_Tree.thy
2020-02-03, by nipkow
more specific class assumptions
2020-02-01, by haftmann
more theorems
2020-02-01, by haftmann
ignore generated dependency files (see 91d5a8255c98, fd5cd1daf6a9);
2020-01-28, by wenzelm
Tidied up some messy proofs
2020-01-28, by paulson
sketches of ideas still to come
2020-01-26, by haftmann
more theorems
2020-01-26, by haftmann
generalized
2020-01-26, by haftmann
tuned
2020-01-26, by haftmann
Two lemmas about nsets
2020-01-27, by paulson
A few lemmas connected with orderings
2020-01-27, by paulson
tuned
2020-01-22, by haftmann
tuned
2020-01-22, by haftmann
dropped dead code
2020-01-22, by haftmann
merged
2020-01-22, by nipkow
added lemma
2020-01-22, by nipkow
Removed multiplicativity assumption from normalization_semidom
2020-01-21, by Manuel Eberl
clarified file names;
2020-01-19, by wenzelm
clarified build_polyml_component: include IDE entry point for ML compiler;
2020-01-19, by wenzelm
merged
2020-01-19, by wenzelm
tuned spelling;
2020-01-17, by wenzelm
new examples of BNF lifting across quotients using a new theory of confluence,
2020-01-19, by traytel
Removed unnecessary and problematic trivial lemma from HOL-Algebra
2020-01-17, by Manuel Eberl
proper executable file;
2020-01-16, by wenzelm

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

isabelle