| Tue, 02 Dec 2003 11:48:15 +0100 | paulson | More re-organising of numerical theorems | file | diff | annotate |
| Fri, 28 Nov 2003 12:09:37 +0100 | paulson | conversion of some Real theories to Isar scripts | file | diff | annotate |
| Thu, 21 Dec 2000 18:57:12 +0100 | nipkow | rational linear arithmetic | 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 |