| 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 |