Wed, 06 Jul 2005 20:00:33 +0200 | wenzelm | tuned eq_ix; | changeset | files |
Wed, 06 Jul 2005 20:00:31 +0200 | wenzelm | Context.check_thy; | changeset | files |
Wed, 06 Jul 2005 20:00:29 +0200 | wenzelm | tuned forall_elim_var(s): avoid expensive Term.add_vars; | changeset | files |