src/HOL/Library/Code_Natural.thy
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