src/HOL/Library/Code_Natural.thy
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2012-02-20 huffman 2012-02-20 use qualified constant names instead of suffixes (from Florian Haftmann)
2010-09-29 haftmann 2010-09-29 scala is reserved identifier
2010-09-10 haftmann 2010-09-10 Haskell == is infix, not infixl
2010-09-01 haftmann 2010-09-01 do not print object frame around Scala includes -- this is in the responsibility of the user
2010-08-27 haftmann 2010-08-27 renamed class/constant eq to equal; tuned some instantiations
2010-08-27 haftmann 2010-08-27 re-added accidental omission
2010-08-26 haftmann 2010-08-26 merged
2010-08-26 haftmann 2010-08-26 re-added accidental omission
2010-08-26 haftmann 2010-08-26 tuned includes
2010-08-26 haftmann 2010-08-26 code_include Scala: qualify module nmae
2010-07-26 haftmann 2010-07-26 added Code_Natural.thy