src/HOL/Coinduction.thy

--- a/src/HOL/Coinduction.thy	Wed Oct 29 11:19:27 2014 +0100
+++ b/src/HOL/Coinduction.thy	Wed Oct 29 11:33:29 2014 +0100
@@ -14,6 +14,4 @@
 
 ML_file "Tools/coinduction.ML"
 
-setup Coinduction.setup
-
 end