src/HOL/Import/HOL/HOL4Base.thy
changeset 17566 484ff733f29c
parent 17188 a26a4fc323ed
child 17644 bd59bfd4bf37
--- a/src/HOL/Import/HOL/HOL4Base.thy	Wed Sep 21 17:25:32 2005 +0200
+++ b/src/HOL/Import/HOL/HOL4Base.thy	Wed Sep 21 18:04: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