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 |