| 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 *}