| changeset 31977 | e03059ae2d82 |
| parent 29269 | 5c25a2012975 |
| child 31980 | c7c1d545007e |
--- a/src/Pure/term_subst.ML Thu Jul 09 22:36:11 2009 +0200 +++ b/src/Pure/term_subst.ML Thu Jul 09 22:48:12 2009 +0200 @@ -25,7 +25,7 @@ ((indexname * sort) * typ) list * ((indexname * typ) * term) list end; -structure TermSubst: TERM_SUBST = +structure Term_Subst: TERM_SUBST = struct (* generalization of fixed variables *)