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

clarified modules;
2019-07-30, by wenzelm
discontinue clean_proof: without type args its PThm nodes are not expanded, but with type args it is too unstable;
2019-07-30, by wenzelm
merged
2019-07-29, by wenzelm
more diagnostic operations;
2019-07-29, by wenzelm
tuned -- non-strict args;
2019-07-29, by wenzelm
proper constrains_map -- for shyps that are covered by present variables (amending 251f1fb44ccd);
2019-07-29, by wenzelm
tuned signature;
2019-07-29, by wenzelm
clarified signature;
2019-07-29, by wenzelm
tuned signature;
2019-07-29, by wenzelm
News for bind infixl
2019-07-29, by nipkow
Monadic bind is now infixl as is the norm
2019-07-29, by nipkow
purge remains from test (cf. 5a53724fe247);
2019-07-28, by wenzelm
tuned;
2019-07-28, by wenzelm
clarified signature;
2019-07-28, by wenzelm
removed obsolete RC tags;
2019-07-28, by wenzelm
tuned;
2019-07-28, by wenzelm
clarified signature;
2019-07-28, by wenzelm
tuned;
2019-07-28, by wenzelm
tuned;
2019-07-27, by wenzelm
clarified signature;
2019-07-27, by wenzelm
tuned;
2019-07-27, by wenzelm
tuned;
2019-07-27, by wenzelm
tuned;
2019-07-27, by wenzelm
tuned -- reorder sections;
2019-07-26, by wenzelm
tuned;
2019-07-26, by wenzelm
proper argument type (amending 42fbb6abed5a);
2019-07-26, by wenzelm
tuned signature;
2019-07-26, by wenzelm
tuned;
2019-07-26, by wenzelm
finalize proofs earlier to reduce memory requirement;
2019-07-26, by wenzelm
proper proof_serial;
2019-07-26, by wenzelm
more explicit type proof_serial;
2019-07-26, by wenzelm
defer rew_proof on unnamed PThm node as open_proof operation: significant performance improvement;
2019-07-26, by wenzelm

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

isabelle