tuned dependencies;
authorwenzelm
Fri Jul 30 10:44:34 2004 +0200 (2004-07-30)
changeset 1509177d160469390
parent 15090 970c2668c694
child 15092 7fe7f022476c
tuned dependencies;
src/ZF/upair.thy
     1.1 --- a/src/ZF/upair.thy	Fri Jul 30 10:44:27 2004 +0200
     1.2 +++ b/src/ZF/upair.thy	Fri Jul 30 10:44:34 2004 +0200
     1.3 @@ -13,7 +13,7 @@
     1.4  header{*Unordered Pairs*}
     1.5  
     1.6  theory upair = ZF
     1.7 -files "Tools/typechk":
     1.8 +files "Tools/typechk.ML":
     1.9  
    1.10  setup TypeCheck.setup
    1.11