Fri, 28 Oct 2005 22:28:03 +0200 | wenzelm | accomodate simplified Thm.lift_rule; | changeset | files |
Fri, 28 Oct 2005 22:28:02 +0200 | wenzelm | export cong_modifiers, simp_modifiers'; | changeset | files |
Fri, 28 Oct 2005 22:28:00 +0200 | wenzelm | certify_term: tuned monomorphic consts; | changeset | files |