Wed, 03 Jan 2001 21:23:13 +0100 | wenzelm | TFL: renamed .sml to .ML; | changeset | files |
Wed, 03 Jan 2001 21:22:37 +0100 | wenzelm | added 'recdef_tc' command; | changeset | files |
Wed, 03 Jan 2001 21:21:28 +0100 | wenzelm | * Isar/HOL: added 'recdef_tc' command; | changeset | files |