src/HOL/Nominal/Nominal.thy

--- a/src/HOL/Nominal/Nominal.thy	Mon Feb 21 11:50:38 2011 +0100
+++ b/src/HOL/Nominal/Nominal.thy	Mon Feb 21 17:43:23 2011 +0100
@@ -15,7 +15,7 @@
 section {* Permutations *}
 (*======================*)
 
-types 
+type_synonym 
   'x prm = "('x \<times> 'x) list"
 
 (* polymorphic constants for permutation and swapping *)