src/HOL/Library/Code_Abstract_Nat.thy
2013-02-14 haftmann 2013-02-14 factored out shared preprocessor setup into theory Code_Abstract_Nat, tuning descriptions