| Thu, 02 Jul 2009 22:17:08 +0200 | wenzelm | strip_shyps: remove top sort, which is logically insignificant; | changeset | files |
| Thu, 02 Jul 2009 21:26:18 +0200 | wenzelm | renamed Drule.sort_triv to Thm.sort_triv (cf. more_thm.ML); | changeset | files |
| Thu, 02 Jul 2009 20:55:44 +0200 | wenzelm | added pro-forma proof constructor Inclass; | changeset | files |
| Thu, 02 Jul 2009 17:34:14 +0200 | wenzelm | renamed NamedThmsFun to Named_Thms; | changeset | files |