| 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 |
| Thu, 10 Apr 2008 14:53:29 +0200 | wenzelm | ThyInfo.get_names; | changeset | files |