src/HOL/MicroJava/J/TypeRel.thy
changeset 55017 2df6ad1dbd66
parent 53374 a14d2a854c02
child 58184 db1381d811ab
     1.1 --- a/src/HOL/MicroJava/J/TypeRel.thy	Thu Jan 16 15:47:33 2014 +0100
     1.2 +++ b/src/HOL/MicroJava/J/TypeRel.thy	Thu Jan 16 16:20:17 2014 +0100
     1.3 @@ -5,7 +5,7 @@
     1.4  header {* \isaheader{Relations between Java Types} *}
     1.5  
     1.6  theory TypeRel
     1.7 -imports Decl "~~/src/HOL/Library/Wfrec"
     1.8 +imports Decl
     1.9  begin
    1.10  
    1.11  -- "direct subclass, cf. 8.1.3"