diff -r 91d5ac5ebb17 -r 31847a7504ec src/ZF/ex/ROOT.ML
--- a/src/ZF/ex/ROOT.ML	Wed Sep 07 13:04:28 1994 +0200
+++ b/src/ZF/ex/ROOT.ML	Wed Sep 07 17:28:53 1994 +0200
@@ -17,8 +17,6 @@
 time_use_thy "ex/Ramsey";
 
 (*Integers & Binary integer arithmetic*)
-use "ex/twos_compl.ML";		(*can delete after autoloader change
-				  and addition of "twos_compl" to Bin.thy*)
 time_use_thy "ex/Bin";
 
 (** Datatypes **)