Thu, 10 Apr 2008 15:04:11 +0200 | wenzelm | eliminated backpatching of load_thy; | changeset | files |
Thu, 10 Apr 2008 14:53:31 +0200 | wenzelm | added read_const_exprs (from Pure/Isar/code_unit.ML); | changeset | files |
Thu, 10 Apr 2008 14:53:30 +0200 | wenzelm | export get_names (formerly names); | changeset | files |