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