# HG changeset patch
# User haftmann
# Date 1279115369 -7200
# Node ID 194a7d543a700a520ea3dc3fae97b3976d6e1199
# Parent  cf35881776762b30d3f5bc5b4e754d6c8dad52c3
corrected import

diff -r cf3588177676 -r 194a7d543a70 src/HOL/Library/Monad_Syntax.thy
--- a/src/HOL/Library/Monad_Syntax.thy	Wed Jul 14 15:08:02 2010 +0200
+++ b/src/HOL/Library/Monad_Syntax.thy	Wed Jul 14 15:49:29 2010 +0200
@@ -5,7 +5,7 @@
 header {* Monad notation for arbitrary types *}
 
 theory Monad_Syntax
-imports "~~/src/Tools/Adhoc_Overloading"
+imports Main "~~/src/Tools/Adhoc_Overloading"
 begin
 
 text {*