src/HOL/ex/Numeral_Representation.thy
2013-05-28 wenzelm 2013-05-28 more explicit Printer.type_emphasis, depending on show_type_emphasis; tuned signature;
2013-05-25 wenzelm 2013-05-25 syntax translations always depend on context;
2013-04-18 wenzelm 2013-04-18 simplifier uses proper Proof.context instead of historic type simpset;
2012-10-19 webertj 2012-10-19 Renamed {left,right}_distrib to distrib_{right,left}.
2012-10-03 wenzelm 2012-10-03 more explicit show_type_constraint, show_sort_constraint;
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-02-21 huffman 2012-02-21 renamed ex/Numeral.thy to ex/Numeral_Representation.thy