| Wed, 15 May 2002 13:50:16 +0200 | nipkow | arith can now deal with div 2 and mod 2. | file | diff | annotate |
| Wed, 15 May 2002 11:51:20 +0200 | nipkow | Removed superfluous thm | file | diff | annotate |
| Thu, 13 Dec 2001 15:45:03 +0100 | wenzelm | isatool expandshort; | file | diff | annotate |
| Thu, 15 Nov 2001 16:12:49 +0100 | paulson | new theories from Jacques Fleuriot | file | diff | annotate |