# HG changeset patch
# User wenzelm
# Date 1091177074 -7200
# Node ID 77d16046939022b3f2b6fe62c1dadf013ceac091
# Parent  970c2668c694a8f53b76eb5aa4a7b19d0ac652bf
tuned dependencies;

diff -r 970c2668c694 -r 77d160469390 src/ZF/upair.thy
--- a/src/ZF/upair.thy	Fri Jul 30 10:44:27 2004 +0200
+++ b/src/ZF/upair.thy	Fri Jul 30 10:44:34 2004 +0200
@@ -13,7 +13,7 @@
 header{*Unordered Pairs*}
 
 theory upair = ZF
-files "Tools/typechk":
+files "Tools/typechk.ML":
 
 setup TypeCheck.setup