| Thu, 22 Apr 2004 12:18:23 +0200 | wenzelm | fixed constdefs typing; | changeset | files |
| Thu, 22 Apr 2004 12:11:17 +0200 | wenzelm | constdefs: proper order; | changeset | files |
| Thu, 22 Apr 2004 11:02:22 +0200 | wenzelm | tmp hack get back to old 'constdefs'; | changeset | files |
| 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 |