| Thu, 22 Apr 2004 12:31:33 +0200 | paulson | changed SML/NJ v 45 to 44 | changeset | files |
| Thu, 22 Apr 2004 12:19:40 +0200 | wenzelm | Pure: considerably improved version of 'constdefs' command; | changeset | files |
| 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 |