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

generalize natfloor_div_nat, add floor variant: floor_divide_real_eq_div
2014-10-27, by hoelzl
eliminated redundancies;
2014-10-26, by haftmann
more simp rules;
2014-10-25, by haftmann
clarified default;
2014-10-26, by wenzelm
support negative extraLineSpacing;
2014-10-26, by wenzelm
tuned whitespace;
2014-10-25, by wenzelm
made SML/NJ happy;
2014-10-25, by wenzelm
merged;
2014-10-24, by wenzelm
discontinued python from standard system environment;
2014-10-24, by wenzelm
more generous default;
2014-10-24, by wenzelm
even further downshift of theory Parity in the hierarchy
2014-10-23, by haftmann
further downshift of theory Parity in the hierarchy
2014-10-23, by haftmann
use NO_MATCH-simproc for distribution rules in field_simps, otherwise field_simps on '(a / (c + d)) * (e + f)' can be non-terminating
2014-10-24, by hoelzl
move NO_MATCH simproc from the AFP entry Graph_Theory to HOL
2014-10-24, by hoelzl
repaired long-standing accident
2014-10-23, by haftmann
explicit definition restores HOL Light import after cb9d84d3e7f2
2014-10-23, by haftmann
tuned language and spelling
2014-10-23, by haftmann
slight generalization and unification of simp rules for algebraic procedures
2014-10-23, by haftmann
downshift of theory Parity in the hierarchy
2014-10-23, by haftmann
parity induction over natural numbers
2014-10-23, by haftmann
merged
2014-10-22, by wenzelm
proper line height and text base line, like regular TextAreaPainter.PaintText;
2014-10-22, by wenzelm
tuned imports;
2014-10-22, by wenzelm
merged
2014-10-22, by Andreas Lochbihler
add print translation for probability notation \<P>
2014-10-22, by Andreas Lochbihler
find main command keyword of 'begin';
2014-10-22, by wenzelm
restricted scanning;
2014-10-22, by wenzelm
repaired rail diagram (cf. 8450b944e58a);
2014-10-22, by wenzelm
foldPainter like Windows L&F;
2014-10-21, by wenzelm
merged
2014-10-21, by wenzelm
NEWS;
2014-10-21, by wenzelm
tuned whitespace;
2014-10-21, by wenzelm
ignore improper tokens to avoid ambiguity of Range.touches (assuming that relevant tokens are separated properly);
2014-10-21, by wenzelm
support for proof structure matching;
2014-10-21, by wenzelm
tuned;
2014-10-21, by wenzelm
tuned;
2014-10-21, by wenzelm
support for begin/end matching;
2014-10-21, by wenzelm
proper token kind;
2014-10-21, by wenzelm
added option jedit_structure_limit;
2014-10-21, by wenzelm
some structure matching, based on line token iterators;
2014-10-21, by wenzelm
support for structure matching;
2014-10-21, by wenzelm
tuned rendering;
2014-10-21, by wenzelm
back to alternative fold painter, despite f03a9c57760a -- gutter painter seems to have changed in the meantime;
2014-10-21, by wenzelm
tuned;
2014-10-21, by wenzelm
update_cartouches;
2014-10-21, by wenzelm
clarified tree root;
2014-10-21, by wenzelm
tuned spacing;
2014-10-21, by wenzelm
clarified verbatim line breaks, e.g. relevant for Implementation mldecls;
2014-10-21, by wenzelm
turn even into an abbreviation
2014-10-21, by haftmann
update documentation for 'size_o_map'
2014-10-21, by desharna
rename 'size_o_map' to 'size_gen_o_map'
2014-10-21, by desharna
document 'size_gen'
2014-10-21, by desharna
generate 'size_gen' for datatypes
2014-10-21, by desharna
document 'map_o_corec'
2014-10-21, by desharna
generate 'map_o_corec' for (co)datatypes
2014-10-21, by desharna
move documentation of 'rec_o_map'
2014-10-21, by desharna
move theorem 'rec_o_map'
2014-10-21, by desharna
warn for not fully mutually (co)recursive types
2014-10-21, by desharna
add transfer rule for set_pmf
2014-10-21, by hoelzl
add tendsto_const and tendsto_ident_at as simp and intro rules
2014-10-20, by hoelzl

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

isabelle