src/ZF/Makefile
changeset 589 31847a7504ec
parent 578 efc648d29dd0
child 700 31f50c1778ef
equal deleted inserted replaced
588:91d5ac5ebb17 589:31847a7504ec
    41 IMP_FILES = IMP/ROOT.ML IMP/Com.ML IMP/Com.thy IMP/Denotation.ML\
    41 IMP_FILES = IMP/ROOT.ML IMP/Com.ML IMP/Com.thy IMP/Denotation.ML\
    42             IMP/Denotation.thy IMP/Equiv.ML IMP/Equiv.thy
    42             IMP/Denotation.thy IMP/Equiv.ML IMP/Equiv.thy
    43 
    43 
    44 EX_FILES = ex/ROOT.ML ex/misc.ML ex/Ramsey.ML ex/Ramsey.thy\
    44 EX_FILES = ex/ROOT.ML ex/misc.ML ex/Ramsey.ML ex/Ramsey.thy\
    45 	   ex/Integ.ML ex/Integ.thy\
    45 	   ex/Integ.ML ex/Integ.thy\
    46            ex/twos_compl.ML ex/Bin.thy ex/Bin.ML\
    46            ex/twos_compl.thy ex/twos_compl.ML ex/Bin.thy ex/Bin.ML\
    47 	   ex/BT.thy ex/BT.ML ex/Term.thy ex/Term.ML \
    47 	   ex/BT.thy ex/BT.ML ex/Term.thy ex/Term.ML \
    48 	   ex/TF.thy ex/TF.ML ex/Ntree.thy ex/Ntree.ML \
    48 	   ex/TF.thy ex/TF.ML ex/Ntree.thy ex/Ntree.ML \
    49            ex/Brouwer.thy ex/Brouwer.ML \
    49            ex/Brouwer.thy ex/Brouwer.ML \
    50 	   ex/Data.thy ex/Data.ML ex/Enum.thy ex/Enum.ML \
    50 	   ex/Data.thy ex/Data.ML ex/Enum.thy ex/Enum.ML \
    51 	   ex/Rmap.thy ex/Rmap.ML ex/PropLog.ML ex/PropLog.thy \
    51 	   ex/Rmap.thy ex/Rmap.ML ex/PropLog.ML ex/PropLog.thy \