--- a/Quot/Examples/IntEx.thy Mon Dec 07 14:14:07 2009 +0100 +++ b/Quot/Examples/IntEx.thy Mon Dec 07 14:35:45 2009 +0100 @@ -1,5 +1,5 @@ theory IntEx -imports "../QuotMain" +imports "../QuotList" begin fun