
diff -r 0f88e04eb486 -r 8a16d6c45720 Quot/Nominal/Test.thy
--- a/Quot/Nominal/Test.thy	Wed Jan 27 13:32:28 2010 +0100
+++ b/Quot/Nominal/Test.thy	Wed Jan 27 13:44:05 2010 +0100
@@ -222,7 +222,7 @@
 | "f (PD (x,y)) = {x,y}"
 
 nominal_datatype trm2 =
-  Var2 "string"
+  Var2 "name"
 | App2 "trm2" "trm2"
 | Lam2 x::"name" t::"trm2"          bindset x in t 
 | Let2 p::"pat2" "trm2" t::"trm2"   bind "f2 p" in t




