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 -30 +30 +50 tip

clarified modules;
2 weeks ago, by wenzelm
clarified signature: rule declarations work via "info" as internal rule (which coincides with external rule);
2 weeks ago, by wenzelm
more accurate "next" counter for each insert operation: subtle change of semantics wrt. Item_Net.length, due to delete operation;
2 weeks ago, by wenzelm
tuned proof;
2 weeks ago, by wenzelm
clarified modules;
2 weeks ago, by wenzelm
redundant: Net.DELETE already handled;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified signature: more explicit types, notably (thm option) instead of (thm list);
2 weeks ago, by wenzelm
more robust: unique result expected, otherwise index calculations will go wrong;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified signature: anticipate use in src/Provers/classical.ML;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
tuned source structure;
2 weeks ago, by wenzelm
efficient rule declarations in canonical order, for update of netpairs and print operation;
3 weeks ago, by wenzelm
added option `-S` to Mirabelle to specify the subgoal classes to consider
2 weeks ago, by desharna
moved to more appropriate theory
2 weeks ago, by haftmann
more correct lemma name
3 weeks ago, by haftmann
merged
2 weeks ago, by desharna
added basic support for persistent prover data to Sledgehammer
2 weeks ago, by desharna
merged
3 weeks ago, by wenzelm
tuned comments;
3 weeks ago, by wenzelm
tuned messages;
3 weeks ago, by wenzelm
clarified signature: more explicit type Bires.kind;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
tuned;
3 weeks ago, by wenzelm
tuned signature;
3 weeks ago, by wenzelm
proper weight, instead of magic number 1000000 (see b3f190995bc9);
3 weeks ago, by wenzelm
just one type Bires.netpair, based on Bires.tag with explicit weight;
3 weeks ago, by wenzelm
misc tuning and clarification;
3 weeks ago, by wenzelm

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

isabelle