# 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