| Wed, 13 Jun 2001 16:30:12 +0200 | paulson | tidied | file | diff | annotate |
| Thu, 25 Jun 1998 13:57:34 +0200 | paulson | Installation of target HOL-Real | file | diff | annotate |
| Tue, 26 Nov 1996 14:28:17 +0100 | nipkow | A bit of commutative ing theory, with a simplification tacxtic and an example. | file | diff | annotate |