| Wed, 10 Dec 2003 15:59:34 +0100 | paulson | Moving some theorems from Real/RealArith0.ML | file | diff | annotate |
| Thu, 04 Dec 2003 16:16:36 +0100 | paulson | further simplifications of the integer development; converting more .ML files | file | diff | annotate |
| Thu, 24 Jul 2003 16:41:40 +0200 | paulson | header comment | file | diff | annotate |
| Wed, 29 Nov 2000 10:21:43 +0100 | paulson | invoking CancelNumeralFactorFun | file | diff | annotate |
| Tue, 25 Jul 2000 00:06:46 +0200 | wenzelm | rearranged setup of arithmetic procedures, avoiding global reference values; | file | diff | annotate |
| Fri, 12 May 2000 14:57:28 +0200 | paulson | new dummy theory; prevents strange errors when loading NatSimprocs.ML | file | diff | annotate |