--- a/Nominal/Ex/TypeVarsTest.thy	Sat Dec 17 17:03:01 2011 +0000
+++ b/Nominal/Ex/TypeVarsTest.thy	Sat Dec 17 17:08:47 2011 +0000
@@ -44,15 +44,6 @@
 | Output "'alpha" "'alpha" "('alpha, 'beta, 'gamma) psi" 
 
 
-nominal_datatype 'a foo = 
-  Node x::"name" f::"'a foo" binds x in f
-| Leaf "'a"
-
-term "Leaf"
-
-
-
-
 end