diff -r 5ac9a74d22fd -r 2e174807c891 Nominal/Ex/TypeSchemes.thy
--- a/Nominal/Ex/TypeSchemes.thy	Mon Sep 27 09:51:15 2010 -0400
+++ b/Nominal/Ex/TypeSchemes.thy	Mon Sep 27 12:19:17 2010 -0400
@@ -24,7 +24,7 @@
 thm ty_tys.fv_bn_eqvt
 thm ty_tys.size_eqvt
 thm ty_tys.supports
-thm ty_tys.fsupp
+thm ty_tys.supp
 
 (* defined as two separate nominal datatypes *)
 
@@ -45,7 +45,7 @@
 thm tys2.fv_bn_eqvt
 thm tys2.size_eqvt
 thm tys2.supports
-thm tys2.fsupp
+thm tys2.supp