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