--- a/ProgTutorial/Recipes/CallML.thy	Wed Feb 23 23:55:37 2011 +0000
+++ b/ProgTutorial/Recipes/CallML.thy	Fri Mar 18 02:53:14 2011 +0100
@@ -1,6 +1,7 @@
 (*<*)
 theory CallML
-imports "~~/src/HOL/Number_Theory/Primes" Efficient_Nat
+imports "~~/src/HOL/Number_Theory/Primes" 
+        "~~/src/HOL/Library/Efficient_Nat"
 begin
 (*>*)