changeset 63258 | 576fb8068ba6 |
parent 61076 | bdc1e2f0a86a |
--- a/src/HOL/MicroJava/Comp/TypeInf.thy Wed Jun 08 11:53:43 2016 +0200 +++ b/src/HOL/MicroJava/Comp/TypeInf.thy Wed Jun 08 18:45:44 2016 +0200 @@ -4,7 +4,7 @@ (* Exact position in theory hierarchy still to be determined *) theory TypeInf -imports "../J/WellType" "~~/src/HOL/Eisbach/Eisbach" +imports "../J/WellType" begin