Fri, 07 Feb 2003 16:40:23 +0100 | nipkow | (*f -> ( *f because of new comments | file | diff | annotate |
Wed, 15 May 2002 13:50:16 +0200 | nipkow | arith can now deal with div 2 and mod 2. | 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 |