| Wed, 19 Oct 2005 21:52:44 +0200 | wenzelm | avoid lagacy read function; | changeset | files |
| Wed, 19 Oct 2005 21:52:43 +0200 | wenzelm | added thm(s) retrieval functions (from goals.ML); | changeset | files |
| Wed, 19 Oct 2005 21:52:42 +0200 | wenzelm | removed obsolete old-locales; | changeset | files |