| Thu, 29 Sep 2005 01:12:16 +0200 | wenzelm | make signature constraint actually work; | changeset | files |
| Thu, 29 Sep 2005 01:09:39 +0200 | wenzelm | activate signature constraints; | changeset | files |
| Thu, 29 Sep 2005 00:59:03 +0200 | wenzelm | HOL4 image is back; | changeset | files |