src/HOL/NanoJava/TypeRel.thy
changeset 55017 2df6ad1dbd66
parent 45605 a89b4bc311a5
child 58860 fee7cfa69c50
--- a/src/HOL/NanoJava/TypeRel.thy	Thu Jan 16 15:47:33 2014 +0100
+++ b/src/HOL/NanoJava/TypeRel.thy	Thu Jan 16 16:20:17 2014 +0100
@@ -4,7 +4,9 @@
 
 header "Type relations"
 
-theory TypeRel imports Decl "~~/src/HOL/Library/Wfrec" begin
+theory TypeRel
+imports Decl
+begin
 
 text{* Direct subclass relation *}