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

added lemmas wfP_iff_ex_minimal, wf_iff_ex_minimal, wf_onE_pf, wf_onI_pf, wf_on_iff_ex_minimal, and wfp_on_iff_ex_minimal
10 months ago, by desharna
merged
10 months ago, by desharna
added definitions wf_on and wfp_on as restricted versions of wf and wfP respectively
10 months ago, by desharna
read/write proper schedule date (amending 9da3019e1ee5);
10 months ago, by Fabian Huch
allow read/write of schedule in build (read via option, write from tool);
10 months ago, by Fabian Huch
file representation for schedule (e.g., for generating from external tool);
10 months ago, by Fabian Huch

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

isabelle