| Wed, 13 Dec 2006 15:47:36 +0100 | wenzelm | internal_abbrev: observe print mode; | changeset | files |
| Wed, 13 Dec 2006 15:47:34 +0100 | wenzelm | target_abbrev: internal mode for abbrevs; | changeset | files |
| 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 |