| Wed, 13 Dec 2006 15:45:30 +0100 | haftmann | fixed syntax for bounded quantification | changeset | files |
| Wed, 13 Dec 2006 15:45:29 +0100 | haftmann | dropped superfluous header | changeset | files |
| Wed, 13 Dec 2006 14:56:50 +0100 | krauss | clarified error message | changeset | files |
| Wed, 13 Dec 2006 14:54:07 +0100 | krauss | nat type now has a size functin => no longer needed as special case | changeset | files |