src/ZF/Makefile
changeset 589 31847a7504ec
parent 578 efc648d29dd0
child 700 31f50c1778ef
--- a/src/ZF/Makefile	Wed Sep 07 13:04:28 1994 +0200
+++ b/src/ZF/Makefile	Wed Sep 07 17:28:53 1994 +0200
@@ -43,7 +43,7 @@
 
 EX_FILES = ex/ROOT.ML ex/misc.ML ex/Ramsey.ML ex/Ramsey.thy\
 	   ex/Integ.ML ex/Integ.thy\
-           ex/twos_compl.ML ex/Bin.thy ex/Bin.ML\
+           ex/twos_compl.thy ex/twos_compl.ML ex/Bin.thy ex/Bin.ML\
 	   ex/BT.thy ex/BT.ML ex/Term.thy ex/Term.ML \
 	   ex/TF.thy ex/TF.ML ex/Ntree.thy ex/Ntree.ML \
            ex/Brouwer.thy ex/Brouwer.ML \