| Wed, 08 Aug 2001 17:38:53 +0200 | wenzelm | _constify; | changeset | files |
| Wed, 08 Aug 2001 17:38:29 +0200 | wenzelm | constify numeral tokens in order to allow translations; | changeset | files |
| Wed, 08 Aug 2001 17:37:47 +0200 | wenzelm | * HOL: syntax translations now work properly with numerals and records | changeset | files |