--- a/TFL/usyntax.ML	Tue Jul 11 12:16:52 2006 +0200
+++ b/TFL/usyntax.ML	Tue Jul 11 12:16:54 2006 +0200
@@ -240,7 +240,7 @@
 
 fun dest_abs used (a as Abs(s, ty, M)) =
      let
-       val s' = variant used s;
+       val s' = Name.variant used s;
        val v = Free(s', ty);
      in ({Bvar = v, Body = Term.betapply (a,v)}, s'::used)
      end