1.1 --- a/src/HOL/Library/Monad_Syntax.thy Sat Dec 24 15:53:08 2011 +0100
1.2 +++ b/src/HOL/Library/Monad_Syntax.thy Sat Dec 24 15:53:08 2011 +0100
1.3 @@ -71,6 +71,7 @@
1.4
1.5 setup {*
1.6 Adhoc_Overloading.add_overloaded @{const_name bind}
1.7 + #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name Set.bind}
1.8 #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name Predicate.bind}
1.9 #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name Option.bind}
1.10 #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name More_List.bind}