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

slightly more efficient claset operations, using Item_Net to maintain rules in canonical order;
2011-05-14, by wenzelm
use pointfree characterisation for fold_set locale
2011-05-14, by haftmann
discontinued global config options within attribute name space;
2011-05-14, by wenzelm
more precise warnings: observe context visibility;
2011-05-14, by wenzelm
modernized structure Rule_Insts;
2011-05-14, by wenzelm
discontinued old / unused addss' (cf. 57f364d1d3b2);
2011-05-14, by wenzelm
eliminated global Unsynchronized.ref;
2011-05-14, by wenzelm
proper runtime context for auto_inv_tac;
2011-05-14, by wenzelm
simplified BLAST_DATA;
2011-05-14, by wenzelm
proper Proof.context -- eliminated global operations;
2011-05-14, by wenzelm
just one universal Proof.context -- discontinued claset/clasimpset;
2011-05-14, by wenzelm
modernized functor names;
2011-05-14, by wenzelm
method "deepen" with optional limit;
2011-05-14, by wenzelm
merged
2011-05-13, by wenzelm
removed redundant type annotations and duplicate examples
2011-05-13, by krauss
clarified map_simpset versus Simplifier.map_simpset_global;
2011-05-13, by wenzelm
make ZF_cs snapshot after final setup;
2011-05-13, by wenzelm
proper Proof.context for classical tactics;
2011-05-13, by wenzelm
do not open ML structures;
2011-05-13, by wenzelm
eliminated weight_ASTAR: int Unsynchronized.ref (astar_tac appears to be obsolete anyway);
2011-05-13, by wenzelm
misc tuning and simplification;
2011-05-13, by wenzelm
tuned proof;
2011-05-13, by wenzelm
tuned proof;
2011-05-13, by wenzelm
proper method_setup;
2011-05-13, by wenzelm

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

isabelle