src/HOL/Tools/nat_arith.ML
2009-07-15 wenzelm 2009-07-15 more antiquotations;
2009-03-12 haftmann 2009-03-12 vague cleanup in arith proof tools setup: deleted dead code, more proper structures, clearer arrangement