Wed, 19 Oct 2005 21:52:31 +0200 | wenzelm | removed obsolete HOL/thy_syntax.ML; | changeset | files |
Wed, 19 Oct 2005 21:52:30 +0200 | wenzelm | * Theory syntax: discontinued non-Isar format and old Isar headers; | changeset | files |
Wed, 19 Oct 2005 21:52:29 +0200 | wenzelm | replaced commafy by existing commas; | changeset | files |