| Wed, 21 Apr 2004 13:18:37 +0200 | paulson | fixed to include Real and Hyperreal | changeset | files |
| Tue, 20 Apr 2004 04:09:19 +0200 | kleing | add HOL4 image, needs fixing | changeset | files |
| Mon, 19 Apr 2004 14:04:41 +0200 | kleing | temporarily reverted quote change for release. breaks latex output, needs more testing. | changeset | files |