Thu, 28 Feb 2002 21:30:57 +0100 | wenzelm | export THIS_IS_ISABELLE_ADMIN=true; | changeset | files |
Thu, 28 Feb 2002 21:30:26 +0100 | wenzelm | fixed date; | changeset | files |
Thu, 28 Feb 2002 21:30:03 +0100 | wenzelm | more stuff; | changeset | files |
Thu, 28 Feb 2002 19:24:00 +0100 | wenzelm | moved match_bvs, match_bvars, renAbs to term.ML; | changeset | files |
Thu, 28 Feb 2002 19:23:33 +0100 | wenzelm | added match_bvars, rename_abs (from thm.ML); | changeset | files |
Thu, 28 Feb 2002 19:23:14 +0100 | wenzelm | rewrite_term: Term.rename_abs; | changeset | files |
Thu, 28 Feb 2002 19:22:56 +0100 | wenzelm | decomp_simp': use lhs instead of elhs (preserves more bound variable names); | changeset | files |