--- a/src/HOL/IntDiv.thy Sat Mar 29 19:13:58 2008 +0100 +++ b/src/HOL/IntDiv.thy Sat Mar 29 19:14:00 2008 +0100 @@ -257,7 +257,7 @@ text {* Tool setup *} -ML_setup {* +ML {* local structure CancelDivMod = CancelDivModFun(