
diff -r 8c1dfd6c2262 -r 5cfc1c36ae97 src/HOL/NanoJava/TypeRel.thy
--- a/src/HOL/NanoJava/TypeRel.thy	Tue Aug 02 10:03:14 2011 +0200
+++ b/src/HOL/NanoJava/TypeRel.thy	Tue Aug 02 10:36:50 2011 +0200
@@ -4,7 +4,7 @@
 
 header "Type relations"
 
-theory TypeRel imports Decl begin
+theory TypeRel imports Decl "~~/src/HOL/Library/Old_Recdef" begin
 
 consts
   subcls1 :: "(cname \<times> cname) set"  --{* subclass *}




