| Thu, 05 Oct 2000 14:04:56 +0200 | fleuriot | Updated README file for HOL/Real | file | diff | annotate |
| Mon, 23 Nov 1998 15:57:18 +0100 | paulson | fixed links | file | diff | annotate |
| Thu, 25 Jun 1998 13:57:34 +0200 | paulson | Installation of target HOL-Real | file | diff | annotate |