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 -30 -10 -6 +6 +10 +30 tip

tuned comments: more formal sections;
2 weeks ago, by wenzelm
proper "plain" rule for extra_netpair (amending 8aa1c98b948b): need to avoid flat_rule / Object_Logic.atomize_prems for the sake of "standard" Isar proof, e.g. (line 34 of "$AFP/AWN/Qmsg_Lifting.thy);
2 weeks ago, by wenzelm
more robust: no failure on bad rule;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
more accurate delete operation via authentic index --- minor performance tuning;
2 weeks ago, by wenzelm
minor performance tuning;
2 weeks ago, by wenzelm

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

isabelle