# HG changeset patch
# User paulson
# Date 875526669 -7200
# Node ID 1baedb1d4627cfb9b99e451a2fc29db7527ea094
# Parent  c6abd2c3373fc52bb2198a1100d09bee357d3d18
Previously loaded the WRONG THEORY, ignoring Confluence...

diff -r c6abd2c3373f -r 1baedb1d4627 src/ZF/Resid/ROOT.ML
--- 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";