src/HOL/Library/Code_Abstract_Nat.thy
2014-02-26 haftmann 2014-02-26 prefer proof context over background theory
2014-02-12 blanchet 2014-02-12 renamed 'nat_{case,rec}' to '{case,rec}_nat'
2013-02-14 haftmann 2013-02-14 factored out shared preprocessor setup into theory Code_Abstract_Nat, tuning descriptions