Tue, 25 Jul 2000 00:06:46 +0200 | wenzelm | rearranged setup of arithmetic procedures, avoiding global reference values; | file | diff | annotate |
Sat, 01 Jul 2000 17:52:52 +0200 | nipkow | Defined abs on int. | file | diff | annotate |
Mon, 04 Oct 1999 21:48:23 +0200 | wenzelm | simprocs now in IntArith; | file | diff | annotate |