src/HOL/Library/Code_Abstract_Nat.thy
2014-06-28 haftmann 2014-06-28 proper trading of variables; more appropriate ML variable names
2014-06-28 haftmann 2014-06-28 modernized
2014-04-29 wenzelm 2014-04-29 prefer plain ASCII / latex over not-so-universal Unicode;
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