Previously loaded the WRONG THEORY, ignoring Confluence...

--- a/src/ZF/Resid/ROOT.ML	Mon Sep 29 11:49:33 1997 +0200
+++ b/src/ZF/Resid/ROOT.ML	Mon Sep 29 11:51:09 1997 +0200
@@ -17,6 +17,6 @@
 writeln"Root file for ZF/Resid";
 proof_timing := true;
 
-time_use_thy "Confluence";
+time_use_thy "Conversion";
 
 writeln"END: Root file for ZF/Resid";