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

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
clarified Load_State;
2019-10-07, by wenzelm
discontinued pointless dump_checkpoint and share_common_data -- superseded by base logic image in Isabelle/MMT;
2019-10-07, by wenzelm
count nodes uniformly: avoid overloaded session;
2019-10-07, by wenzelm
clarified signature;
2019-10-07, by wenzelm
simplified proof
2019-10-07, by nipkow
tuned signature;
2019-10-06, by wenzelm
clarified signature: more options;
2019-10-06, by wenzelm
clarified signature: read full session requirements;
2019-10-06, by wenzelm
clarified signature;
2019-10-06, by wenzelm
tuned signature;
2019-10-06, by wenzelm
clarified options -- more scalable;
2019-10-05, by wenzelm
obsolete;
2019-10-04, by wenzelm
proper replacement for (map_types (K dummyT));
2019-10-04, by wenzelm
Term_XML.Encode/Decode.term uses Const "typargs";
2019-10-04, by wenzelm
prefer atomic edits -- potentially more robust;
2019-10-02, by wenzelm
clarified signature -- potentially more robust;
2019-10-02, by wenzelm
just one dump_checkpoint Main -- potentially more robust;
2019-10-02, by wenzelm
more robust: avoid update/interrupt of long-running print_consolidation;
2019-10-02, by wenzelm

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

isabelle