--- a/src/ZF/UNITY/GenPrefix.thy Mon Feb 11 15:19:17 2008 +0100
+++ b/src/ZF/UNITY/GenPrefix.thy Mon Feb 11 15:40:21 2008 +0100
@@ -12,7 +12,7 @@
header{*Charpentier's Generalized Prefix Relation*}
theory GenPrefix
-imports Main
+imports Main_ZF
begin
definition (*really belongs in ZF/Trancl*)