src/HOL/Library/Code_Target_Numeral.thy
2012-11-08 haftmann 2012-11-08 refined stack of library theories implementing int and/or nat by target language numerals