| changeset 20548 | 8ef25fe585a8 |
| parent 20098 | 19871ee094b1 |
| child 20670 | 115262dd18e2 |
--- a/src/Pure/envir.ML Fri Sep 15 22:56:08 2006 +0200 +++ b/src/Pure/envir.ML Fri Sep 15 22:56:13 2006 +0200 @@ -268,7 +268,7 @@ in subst T end; (*Substitute for type Vars in a term*) -val subst_TVars = map_term_types o typ_subst_TVars; +val subst_TVars = map_types o typ_subst_TVars; (*Substitute for Vars in a term *) fun subst_Vars itms t = if Vartab.is_empty itms then t else