src/HOL/Library/Code_Natural.thy
2010-08-26 haftmann 2010-08-26 code_include Scala: qualify module nmae
2010-07-26 haftmann 2010-07-26 added Code_Natural.thy