| Thu, 22 Apr 2004 11:01:34 +0200 | wenzelm | improved notation; | changeset | files |
| Thu, 22 Apr 2004 11:00:22 +0200 | wenzelm | added Isar/constdefs.ML; | changeset | files |
| Thu, 22 Apr 2004 11:00:03 +0200 | wenzelm | removed add_constdefs(_i), see constdefs.ML for improved version; advanced translation functions; | changeset | files |
| Thu, 22 Apr 2004 10:59:41 +0200 | wenzelm | tuned interfaces to accomodate advanced translation functions; | changeset | files |
| Thu, 22 Apr 2004 10:59:19 +0200 | wenzelm | non_typed_tr'; | changeset | files |
| Thu, 22 Apr 2004 10:58:54 +0200 | wenzelm | added opt_keyword, mixfix'; | changeset | files |