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 tip

refactored try0's internals
3 weeks ago, by desharna
tuned naming
4 weeks ago, by desharna
merged
3 weeks ago, by paulson
Manuel's material on infinite products
3 weeks ago, by paulson
start jobs even if repository is unreachable, e.g. due to high load;
3 weeks ago, by Fabian Huch
More from Theta_Functions_Library
4 weeks ago, by paulson
merged
4 weeks ago, by paulson
More migration from Theta_Functions_Library
4 weeks ago, by paulson
added type annotations
4 weeks ago, by desharna
tuned
4 weeks ago, by desharna
tuned to avoid list traversal and memory allocation
4 weeks ago, by desharna
tuned to avoid list traversal and memory allocation
4 weeks ago, by desharna
tuned to avoid list traversal and memory allocation
4 weeks ago, by desharna
moved command try0 into its own new theory
4 weeks ago, by desharna
renamed lemmas
4 weeks ago, by desharna
merged
4 weeks ago, by nipkow
weakened hypothesis (suggested by Moritz Roos)
4 weeks ago, by nipkow
tuned variable names such that A \<subseteq> B
4 weeks ago, by desharna
New material by Manuel Eberl
4 weeks ago, by paulson
moved lemmas around
4 weeks ago, by desharna
added lemmas asymp_on_mono_strong and asymp_on_mono[mono]
4 weeks ago, by desharna
added lemmas irreflp_on_mono_strong and irreflp_on_mono[mono]
4 weeks ago, by desharna
tuned variable names
4 weeks ago, by desharna
tuned proof
4 weeks ago, by desharna
moved lemmas around
4 weeks ago, by desharna
removed reflp_mono (use reflp_on_mono_strong instead)
4 weeks ago, by desharna
added lemma reflp_on_mono[mono]
4 weeks ago, by desharna
strengthened reflp_on_mono and renamed to reflp_on_mono_strong
4 weeks ago, by desharna

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

isabelle