| changeset 44013 | 5cfc1c36ae97 |
| parent 41589 | bbd861837ebc |
| child 44146 | 8bc84fa57a13 |
--- 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 *}