src/HOL/Library/Target_Numeral.thy
2012-06-05 haftmann 2012-06-05 apply preprocessing simpset also to rhs of abstract code equations
2012-06-05 haftmann 2012-06-05 prefer sys.error over plain error in Scala to avoid deprecation warning
2012-04-29 haftmann 2012-04-29 compact nat literals
2012-04-28 haftmann 2012-04-28 rhs of abstract code equations are not subject to preprocessing: inline code abbrevs explicitly
2012-04-15 haftmann 2012-04-15 tuned whitespace
2012-04-07 haftmann 2012-04-07 explicit constructor Nat leaves nat_of as conversion
2012-03-30 huffman 2012-03-30 removed redundant nat-specific copies of theorems
2012-03-27 huffman 2012-03-27 generalize some theorems about div/mod
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)