| 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 |