| Fri, 12 Dec 2003 15:05:18 +0100 | paulson | moving some division theorems to Ring_and_Field | file | diff | annotate |
| Wed, 10 Dec 2003 16:47:50 +0100 | paulson | combining Real/{RealArith0,real_arith}.ML | file | diff | annotate |
| Wed, 10 Dec 2003 15:59:34 +0100 | paulson | Moving some theorems from Real/RealArith0.ML | file | diff | annotate |
| Mon, 01 Jan 2001 11:52:04 +0100 | paulson | minor tidying of simprocs | file | diff | annotate |
| Thu, 21 Dec 2000 18:57:12 +0100 | nipkow | rational linear arithmetic | file | diff | annotate |
| Mon, 18 Dec 2000 14:59:05 +0100 | nipkow | moved mk_bin from Numerals to HOLogic | file | diff | annotate |
| Fri, 01 Dec 2000 19:53:29 +0100 | nipkow | Linear arithmetic now copes with mixed nat/int formulae. | file | diff | annotate |
| Tue, 25 Jul 2000 00:06:46 +0200 | wenzelm | rearranged setup of arithmetic procedures, avoiding global reference values; | file | diff | annotate |