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

eliminated odd C combinator -- Isabelle/ML usually has canonical argument order;
2015-06-01, by wenzelm
clarified context;
2015-06-01, by wenzelm
clarified context;
2015-06-01, by wenzelm
tuned;
2015-06-01, by wenzelm
clarified context;
2015-06-01, by wenzelm
tuned;
2015-06-01, by wenzelm
obsolete;
2015-05-31, by wenzelm
clarified context;
2015-05-31, by wenzelm
tuned;
2015-05-31, by wenzelm
tuned;
2015-05-31, by wenzelm
standardize towards Thm.eta_long_conversion, which just does eta_long conversion;
2015-05-30, by wenzelm
tuned spelling;
2015-05-30, by wenzelm
unused;
2015-05-30, by wenzelm
tuned;
2015-05-30, by wenzelm
more explicit context;
2015-05-30, by wenzelm
obsolete;
2015-05-30, by wenzelm
tuned -- more direct Thm.renamed_prop;
2015-05-30, by wenzelm
tuned message;
2015-05-30, by wenzelm
tuned whitespace;
2015-05-30, by wenzelm
removed model checks from Nitpick
2015-05-29, by blanchet
document Nitpick issue
2015-05-29, by blanchet
uncountability: open interval equivalences
2015-05-29, by paulson
Convex hulls: theorems about interior, etc. And a few simple lemmas.
2015-05-28, by paulson
made Auto Sledgehammer behave more like the real thing
2015-05-28, by blanchet
took out Sledgehammer minimizer optimization that breaks things
2015-05-28, by blanchet
modernized (slightly) type compiler in MicroJava
2015-05-28, by kleing
New material about paths, and some lemmas
2015-05-26, by paulson
removed obsolete RC tags;
2015-05-25, by wenzelm
merged, resolving conflicts in Admin/isatest/settings/afp-poly and src/HOL/Tools/Nitpick/nitpick_model.ML;
2015-05-25, by wenzelm
Added tag Isabelle2015 for changeset 5ae2a2e74c93
2015-05-25, by wenzelm

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

isabelle