--- a/Nominal/Ex/TypeSchemes.thy	Sun Aug 29 01:17:36 2010 +0800
+++ b/Nominal/Ex/TypeSchemes.thy	Sun Aug 29 01:45:07 2010 +0800
@@ -19,14 +19,6 @@
   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