| 2000-12-01 | nipkow | 2000-12-01 | Linear arithmetic now copes with mixed nat/int formulae. | file | diff | annotate |
| 2000-07-25 | wenzelm | 2000-07-25 | rearranged setup of arithmetic procedures, avoiding global reference values; | file | diff | annotate |
| 2000-07-01 | nipkow | 2000-07-01 | Defined abs on int. | file | diff | annotate |
| 1999-10-04 | wenzelm | 1999-10-04 | simprocs now in IntArith; | file | diff | annotate |