Wed, 02 Nov 2005 14:47:01 +0100 | wenzelm | added Isar.state/exn; | changeset | files |
Wed, 02 Nov 2005 14:47:00 +0100 | wenzelm | Isar.loop; | changeset | files |
Wed, 02 Nov 2005 14:46:58 +0100 | wenzelm | moved consts declarations to consts.ML; | changeset | files |