src/HOL/Library/Monad_Syntax.thy
changeset 46143 c932c80d3eae
parent 45990 b7b905b23b2a
child 52622 e0ff1625e96d
     1.1 --- a/src/HOL/Library/Monad_Syntax.thy	Fri Jan 06 11:15:02 2012 +0100
     1.2 +++ b/src/HOL/Library/Monad_Syntax.thy	Fri Jan 06 20:39:50 2012 +0100
     1.3 @@ -74,7 +74,7 @@
     1.4    #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name Set.bind}
     1.5    #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name Predicate.bind}
     1.6    #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name Option.bind}
     1.7 -  #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name More_List.bind}
     1.8 +  #> Adhoc_Overloading.add_variant @{const_name bind} @{const_name List.bind}
     1.9  *}
    1.10  
    1.11  end