src/HOL/Code_Numeral.thy
2010-02-05 haftmann 2010-02-05 more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS
2010-01-22 haftmann 2010-01-22 code literals: distinguish numeral classes by different entries
2010-01-15 berghofe 2010-01-15 merged
2010-01-10 berghofe 2010-01-10 Adapted to changes in induct method.
2010-01-14 haftmann 2010-01-14 allow individual printing of numerals during code serialization
2010-01-13 haftmann 2010-01-13 some syntax setup for Scala
2009-10-29 haftmann 2009-10-29 moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly
2009-10-29 haftmann 2009-10-29 moved Nat_Transfer before Divides; distributed Nat_Transfer setup accordingly
2009-10-28 haftmann 2009-10-28 moved theory Divides after theory Nat_Numeral; tuned some proof texts
2009-07-14 haftmann 2009-07-14 prefer code_inline over code_unfold; use code_unfold_post where appropriate
2009-07-14 haftmann 2009-07-14 code attributes use common underscore convention
2009-06-02 haftmann 2009-06-02 OCaml builtin intergers are elusive; avoid
2009-05-27 haftmann 2009-05-27 added lemma about 0 - 1
2009-05-19 haftmann 2009-05-19 String.literal replaces message_string, code_numeral replaces (code_)index