--- a/Nominal/Ex/TypeSchemes.thy	Sun Aug 29 00:36:47 2010 +0800
+++ b/Nominal/Ex/TypeSchemes.thy	Sun Aug 29 01:17:36 2010 +0800
@@ -19,6 +19,15 @@
   Var2 "name"
 | Fun2 "ty2" "ty2"
 
+instantiation ty2 :: fs
+begin
+
+instance 
+sorry
+
+end
+
+
 nominal_datatype tys2 =
   All2 xs::"name fset" ty::"ty2" bind (res) xs in ty