Mon, 05 May 2003 18:23:40 +0200 | paulson | New material on integration, etc. Moving Hyperreal/ex | file | diff | annotate |
Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | file | diff | annotate |
Mon, 29 Apr 2002 11:29:54 +0200 | nipkow | Had to update proof for some strange reason | file | diff | annotate |
Thu, 13 Dec 2001 15:45:03 +0100 | wenzelm | isatool expandshort; | file | diff | annotate |
Wed, 12 Dec 2001 19:21:02 +0100 | nipkow | mods due to reorienting and renaming of real_minus_mult_eq1/2 | file | diff | annotate |
Thu, 29 Nov 2001 19:03:03 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
Thu, 15 Nov 2001 16:12:49 +0100 | paulson | new theories from Jacques Fleuriot | file | diff | annotate |