| Wed, 02 Jan 2002 16:06:31 +0100 | paulson | Literal arithmetic: raising numbers to powers (nat, int, real, hypreal) | file | diff | annotate |
| Fri, 02 Nov 2001 17:55:24 +0100 | paulson | Numerals and simprocs for types real and hypreal. The abstract | file | diff | annotate |
| Sat, 06 Oct 2001 00:02:46 +0200 | wenzelm | * sane numerals (stage 2): plain "num" syntax (removed "#"); | file | diff | annotate |
| Fri, 05 Oct 2001 21:52:39 +0200 | wenzelm | sane numerals (stage 1): added generic 1, removed 1' and 2 on nat, | file | diff | annotate |
| Thu, 27 Sep 2001 18:44:12 +0200 | wenzelm | new-style theory; | file | diff | annotate |
| Wed, 22 Sep 1999 21:04:34 +0200 | wenzelm | proper theory setup for Real/ex/BinEx; | file | diff | annotate |