src/HOL/Numeral.ML
2000-12-19 paulson 2000-12-19 re-orienting equations with #nnn on the lhs
2000-02-20 nipkow 2000-02-20 Added global let-simplification rule.