| Sat, 07 Mar 2009 22:04:59 +0100 | wenzelm | moved Thm.def_name(_optional) to more_thm.ML; | changeset | files |
| Sat, 07 Mar 2009 21:57:36 +0100 | wenzelm | adapted Syntax.const_name; | changeset | files |
| Sat, 07 Mar 2009 21:20:17 +0100 | wenzelm | canonical argument order for type_name, const_name; | changeset | files |