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 |