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

added tactic to prove 'disc_iff' properties in 'primcorec'
2014-01-02, by blanchet
merged
2014-01-01, by wenzelm
clarified blast after change of SELECT_GOAL in 210bca64b894: do not smash flex-flex pairs of overall goal state (in analogy to maxidx) -- NB: Isar goal structure serves as natural boundary, e.g. in "by blast";
2014-01-01, by wenzelm
updated keywords;
2014-01-01, by wenzelm
clarified simplifier context;
2014-01-01, by wenzelm
simplified settings for src/HOL/Tools/SMT;
2014-01-01, by wenzelm
avoid unicode text, which causes problems when recoding symbols (e.g. via UTF8-Isabelle in Isabelle/jEdit);
2014-01-01, by wenzelm
dropped obsolete references to recdef
2014-01-01, by haftmann
examples how to avoid the "code, code del" antipattern
2014-01-01, by haftmann
fundamental treatment of undefined vs. universally partial replaces code_abort
2014-01-01, by haftmann
explicit distinction between empty code equations and no code equations, including convenient declaration attributes
2014-01-01, by haftmann
tuned whitespace
2014-01-01, by haftmann

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

isabelle