| 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 |
| Thu, 02 Jul 2009 17:33:36 +0200 | wenzelm | renamed NamedThmsFun to Named_Thms; | changeset | files |