| changeset 20548 | 8ef25fe585a8 |
| parent 20304 | 500a3373c93c |
| child 20886 | f26672c248ee |
--- a/src/Pure/Isar/element.ML Fri Sep 15 22:56:08 2006 +0200 +++ b/src/Pure/Isar/element.ML Fri Sep 15 22:56:13 2006 +0200 @@ -381,7 +381,7 @@ fun instT_term env = if Symtab.is_empty env then I - else Term.map_term_types (instT_type env); + else Term.map_types (instT_type env); fun instT_subst env th = (Drule.fold_terms o Term.fold_types o Term.fold_atyps) (fn T as TFree (a, _) =>