| Tue, 19 Jul 2005 17:21:56 +0200 | wenzelm | tuned instantiate (avoid subst_atomic, subst_atomic_types); | changeset | files |
| Tue, 19 Jul 2005 17:21:55 +0200 | wenzelm | tuned defs interface; | changeset | files |
| Tue, 19 Jul 2005 17:21:54 +0200 | wenzelm | moved incr_tvar to logic.ML; | changeset | files |