src/HOL/ex/Numeral_Representation.thy
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