--- a/src/HOL/Lambda/WeakNorm.thy Thu Apr 26 13:32:55 2007 +0200
+++ b/src/HOL/Lambda/WeakNorm.thy Thu Apr 26 13:32:59 2007 +0200
@@ -7,7 +7,7 @@
header {* Weak normalization for simply-typed lambda calculus *}
theory WeakNorm
-imports Type
+imports Type Pretty_Int
begin
text {*