src/HOL/Library/RType.thy

--- a/src/HOL/Library/RType.thy	Wed May 07 10:56:58 2008 +0200
+++ b/src/HOL/Library/RType.thy	Wed May 07 10:57:19 2008 +0200
@@ -87,7 +87,6 @@
   #> RType.add_def @{type_name fun}
   #> RType.add_def @{type_name itself}
   #> RType.add_def @{type_name bool}
-  #> RType.add_def @{type_name set}
   #> TypedefPackage.interpretation RType.perhaps_add_def
 *}