| Wed, 13 Dec 2006 15:45:33 +0100 | haftmann | authentic syntax for number_of | changeset | files |
| Wed, 13 Dec 2006 15:45:31 +0100 | haftmann | introduced mk/dest_numeral/number for mk/dest_binum etc. | changeset | files |
| 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 |
| Wed, 13 Dec 2006 14:52:50 +0100 | krauss | simplified | changeset | files |