src/HOL/Import/HOL/HOL4Vec.thy
changeset 17566 484ff733f29c
parent 17188 a26a4fc323ed
child 17644 bd59bfd4bf37
--- a/src/HOL/Import/HOL/HOL4Vec.thy	Wed Sep 21 17:25:32 2005 +0200
+++ b/src/HOL/Import/HOL/HOL4Vec.thy	Wed Sep 21 18:04:49 2005 +0200
@@ -1,6 +1,6 @@
 (* AUTOMATICALLY GENERATED, DO NOT EDIT! *)
 
-theory HOL4Vec = HOL4Base:
+theory HOL4Vec imports HOL4Base begin
 
 ;setup_theory res_quan