| Mon, 30 Sep 2002 16:14:02 +0200 | berghofe | Adapted to new simplifier. | 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 |
| Fri, 16 Nov 2001 18:24:11 +0100 | paulson | even more theories from Jacques | file | diff | annotate |