| 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 |