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




