# HG changeset patch
# User wenzelm
# Date 1504777017 -7200
# Node ID f3e7a141897927dbe34e464c8b429fdfaed475a7
# Parent  a8edca8c4a680ded543a45a69f50cba7d8bbbbf7
avoid depedency on FSet;

diff -r a8edca8c4a68 -r f3e7a1418979 src/HOL/Library/Monad_Syntax.thy
--- a/src/HOL/Library/Monad_Syntax.thy	Tue Sep 05 20:03:52 2017 +0200
+++ b/src/HOL/Library/Monad_Syntax.thy	Thu Sep 07 11:36:57 2017 +0200
@@ -5,7 +5,7 @@
 section \<open>Monad notation for arbitrary types\<close>
 
 theory Monad_Syntax
-imports FSet "~~/src/Tools/Adhoc_Overloading"
+imports Main "~~/src/Tools/Adhoc_Overloading"
 begin
 
 text \<open>
@@ -61,6 +61,6 @@
   "(m \<then> n)" \<rightharpoonup> "(m \<bind> (\<lambda>_. n))"
 
 adhoc_overloading
-  bind Set.bind Predicate.bind Option.bind List.bind FSet.fbind
+  bind Set.bind Predicate.bind Option.bind List.bind
 
-end
\ No newline at end of file
+end