Fri, 06 Jan 2006 18:18:16 +0100 | wenzelm | prep_meta_eq: reuse mk_rews of local simpset; | changeset | files |
Fri, 06 Jan 2006 18:18:15 +0100 | wenzelm | removed obsolete eqrule_HOL_data.ML; | changeset | files |
Fri, 06 Jan 2006 18:18:14 +0100 | wenzelm | removed obsolete eqrule_FOL_data.ML; | changeset | files |