Thu, 06 Jul 2006 12:18:17 +0200 | paulson | some tidying; fixed the output of theorem names | changeset | files |
Thu, 06 Jul 2006 11:26:49 +0200 | wenzelm | def_export: Drule.generalize; | changeset | files |
Thu, 06 Jul 2006 11:26:46 +0200 | wenzelm | matchers: fall back on plain first_order_matchers, not pattern; | changeset | files |