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 -15 +15 +100 +300 +1000 tip

Tidied some messy proofs
9 months ago, by paulson
prefer canonical theorem name for fact collection declarations
9 months ago, by haftmann
merged
9 months ago, by paulson
Tidying ugly proofs
9 months ago, by paulson
tuned;
9 months ago, by Fabian Huch
tweaked time functions for median-of-medians selection in HOL-Data_Structures
9 months ago, by Manuel Eberl
merged
9 months ago, by wenzelm
rename \undef to \undefined to avoid problems with MacTeX 2014 or Ubuntu 24.04 beta;
9 months ago, by wenzelm
Tiny tweaks to proofs
9 months ago, by paulson
A bit of new material about type class "infinite", from Eval_FO
9 months ago, by paulson
avoid Scala if-expressions and thus make it work both for -new-syntax or -old-syntax;
9 months ago, by wenzelm
proper Scala code for String.literal_of_asciis: avoid ambiguity of ("" ++ ...);
9 months ago, by wenzelm
adjust generated Scala to make it work with scalac -old-syntax and -new-syntax, although the latter is not regularly tested;
9 months ago, by wenzelm
Add entry on Sketch_and_Explore to CONTRIBUTORS
9 months ago, by Simon Wimmer
moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory
9 months ago, by Manuel Eberl

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

isabelle