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