2009-11-16 boehmes further explosion of HOL-Boogie verification conditions
2009-11-16 haftmann merged
2009-11-16 haftmann proper purge
2009-11-16 haftmann dropped obsolete documentation; updated generated sources
2009-11-16 blanchet merged
2009-11-13 blanchet removed a few global names in Nitpick (styp, nat_less, pairf)
2009-11-15 wenzelm add_expand_thm: explicit indication of is_def instead of fragile heuristic, tuned signature;
2009-11-15 wenzelm axiomatization: declare Spec_Rules, direct result;
2009-11-15 wenzelm use simultaneous Morphics.fact;
2009-11-15 wenzelm primitive defs: clarified def (axiom name) vs. description;
2009-11-15 wenzelm eliminated obsolete thm position tags;
2009-11-15 wenzelm permissive AList.merge -- most likely setup for theory data (beware of spurious AList.DUP);
2009-11-15 wenzelm provide actual Nitpick_HOL.extended_context;
2009-11-15 wenzelm tuned;
2009-11-15 wenzelm more accurate dependencies;
2009-11-15 wenzelm eliminated obsolete CVS Ids;
2009-11-15 schirmer merged
2009-11-15 schirmer added benchmark for large records
2009-11-14 schirmer merged
2009-11-14 schirmer clarified quick-and-dirty usage in record package;
2009-11-14 wenzelm simplified bulky metis proofs;
2009-11-14 wenzelm properly inlined @{lemma} antiqutations -- might also reduce proof terms a bit;
2009-11-14 wenzelm moved old SList, LList, LFilter to AFP/Lazy-Lists-II;
2009-11-14 wenzelm include HOL-Boogie keywords by default;
2009-11-14 wenzelm eliminated obsolete CVS Ids;
2009-11-14 wenzelm updated keywords;
2009-11-14 wenzelm generate keywords for Emacs Proof General only;
2009-11-14 wenzelm dismantled remains of old jEdit plugin;
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -28 +28 +50 +100 +300 +1000 +3000 +10000 +30000 tip