changeset 16417 | 9bc16273c2d4 |
parent 15647 | b1f486a9c56b |
child 17188 | a26a4fc323ed |
--- a/src/HOL/Import/HOL/HOL4Base.thy Fri Jun 17 11:35:35 2005 +0200 +++ b/src/HOL/Import/HOL/HOL4Base.thy Fri Jun 17 16:12:49 2005 +0200 @@ -1,6 +1,6 @@ (* AUTOMATICALLY GENERATED, DO NOT EDIT! *) -theory HOL4Base = "../HOL4Compat" + "../HOL4Syntax": +theory HOL4Base imports "../HOL4Compat" "../HOL4Syntax" begin ;setup_theory bool