author | haftmann |
Wed, 14 Jul 2010 15:49:29 +0200 | |
changeset 37823 | 194a7d543a70 |
parent 37822 | cf3588177676 |
child 37824 | 365e37fe93f3 |
1.1 --- a/src/HOL/Library/Monad_Syntax.thy Wed Jul 14 15:08:02 2010 +0200 1.2 +++ b/src/HOL/Library/Monad_Syntax.thy Wed Jul 14 15:49:29 2010 +0200 1.3 @@ -5,7 +5,7 @@ 1.4 header {* Monad notation for arbitrary types *} 1.5 1.6 theory Monad_Syntax 1.7 -imports "~~/src/Tools/Adhoc_Overloading" 1.8 +imports Main "~~/src/Tools/Adhoc_Overloading" 1.9 begin 1.10 1.11 text {*