| Mon, 03 May 2010 20:13:36 +0200 | wenzelm | renamed Thm.freezeT to Thm.legacy_freezeT -- it is based on Type.legacy_freeze; | changeset | files |
| Mon, 03 May 2010 16:26:47 +0200 | wenzelm | minor tuning of Thm.strip_shyps -- no longer pervasive; | changeset | files |
| Mon, 03 May 2010 15:34:55 +0200 | wenzelm | simplified primitive Thm.future: more direct theory check, do not hardwire strip_shyps here; | changeset | files |