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 -24 +24 +50 +100 +300 +1000 +3000 +10000 tip

unused;
2019-10-10, by wenzelm
document antiquotations + clarify porting text slightly
2019-10-11, by blanchet
updated veriT part of Sledgehammer documentation
2019-10-10, by blanchet
added para constrasting 'primrec' and 'fun' -- and removed my middle name
2019-10-10, by blanchet
dedicated fact collections for algebraic simplification rules potentially splitting goals
2019-10-09, by haftmann
merged
2019-10-09, by wenzelm
tuned;
2019-10-09, by wenzelm
misc tuning and clarification;
2019-10-09, by wenzelm
tuned;
2019-10-09, by wenzelm
tuned -- allow slightly more expensive atomic proofs;
2019-10-09, by wenzelm
clarified signature -- some operations to support fully explicit proof terms;
2019-10-09, by wenzelm
tuned;
2019-10-08, by wenzelm
tuned;
2019-10-08, by wenzelm
proper treatment of sorts;
2019-10-08, by wenzelm
tuned app_types: more direct map_proof_types_same;
2019-10-08, by wenzelm
tuned;
2019-10-08, by wenzelm
generalized parsing, for e.g. Leo-III
2019-10-09, by blanchet
More theorems about limits, including cancellation simprules
2019-10-09, by paulson
Generalised two results concerning limits from the real numbers to type classes
2019-10-09, by paulson
formally augmented corresponding rules for field_simps
2019-10-08, by haftmann
clarified option type;
2019-10-07, by wenzelm
count document nodes via raw file length;
2019-10-07, by wenzelm
merged
2019-10-07, by wenzelm
clarified Load_State / load_limit;
2019-10-07, by wenzelm

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

isabelle