| Wed, 13 Dec 2006 15:47:33 +0100 | wenzelm | edge: actually apply operation! | changeset | files |
| Wed, 13 Dec 2006 15:47:31 +0100 | wenzelm | tuned; | changeset | files |
| 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 |