| Thu, 10 Jan 2002 01:12:01 +0100 | wenzelm | added hide_thms; | changeset | files |
| Thu, 10 Jan 2002 01:11:43 +0100 | wenzelm | simplified IsarThy.theorem_i; | changeset | files |
| Thu, 10 Jan 2002 01:10:58 +0100 | wenzelm | qualified exports from locales; | changeset | files |