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 tip

added lemma ffUnion_fsubset_iff default tip
7 hours ago, by desharna
Even more material from the HOL Light metric space library
30 hours ago, by paulson
NEWS: Announcing the metric space material
2 days ago, by paulson
merged
2 days ago, by paulson
Hiding the constructor names, particularly to avoid conflicts involving "ext"
3 days ago, by paulson
New HOL Light material on metric spaces and topological spaces
3 days ago, by paulson
enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
2 days ago, by wenzelm
provide scala-3.3.0;
2 days ago, by wenzelm
more NEWS;
2 days ago, by wenzelm
tuned NEWS;
2 days ago, by wenzelm
NEWS;
3 days ago, by wenzelm
removed intro, desc, elim, and simp annotations from FSet lemmas that are instances of lemmas in Set
5 days ago, by desharna
merged
5 days ago, by desharna
NEWS
5 days ago, by desharna
set up code generation for fset
5 days ago, by desharna
redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex
7 days ago, by desharna
merged
6 days ago, by wenzelm
tuned signature;
6 days ago, by wenzelm
clarified treatment of context;
7 days ago, by wenzelm
clarified treatment of context;
7 days ago, by wenzelm
more operations;
7 days ago, by wenzelm
NEWS
7 days ago, by desharna
renamed notin_fset to not_fmember
7 days ago, by desharna
added author
7 days ago, by desharna
merged
7 days ago, by desharna
adapted Transfer_Debug from fmember to fempty
7 days ago, by desharna
renamed variables
7 days ago, by desharna
merged
2 weeks ago, by desharna

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

isabelle