src/ZF/Tools/numeral_syntax.ML
2006-01-19 ago setup: theory -> theory;
2005-05-16 ago Use of IntInf.int instead of int in most numeric simprocs; avoids
2001-01-16 ago use Syntax.read_xnum;
2000-08-10 ago installation of cancellation simprocs for the integers