| changeset 19046 | bc5c6c9b114e |
| parent 18176 | ae9bd644d106 |
| child 20071 | 8f3e1ddb50e6 |
--- a/TFL/usyntax.ML Wed Feb 15 19:11:10 2006 +0100 +++ b/TFL/usyntax.ML Wed Feb 15 21:34:55 2006 +0100 @@ -115,7 +115,7 @@ val is_vartype = can dest_vtype; val type_vars = map mk_prim_vartype o typ_tvars -fun type_varsl L = distinct (fold (curry op @ o type_vars) L []); +fun type_varsl L = distinct (op =) (fold (curry op @ o type_vars) L []); val alpha = mk_vartype "'a" val beta = mk_vartype "'b"