diff -r 3ff8c79a9e2f -r e2f0176149d0 src/HOL/Library/Cset_Monad.thy
--- a/src/HOL/Library/Cset_Monad.thy	Fri Mar 30 17:25:34 2012 +0200
+++ b/src/HOL/Library/Cset_Monad.thy	Fri Mar 30 18:56:02 2012 +0200
@@ -1,15 +0,0 @@
-(* Title: HOL/Library/Cset_Monad.thy
-   Author: Andreas Lochbihler, Karlsruhe Institute of Technology
-*)
-
-header {* Monad notation for computable sets (cset) *}
-
-theory Cset_Monad
-imports Cset Monad_Syntax 
-begin
-
-setup {*
-  Adhoc_Overloading.add_variant @{const_name bind} @{const_name Cset.bind}
-*}
-
-end
\ No newline at end of file