equal
deleted
inserted
replaced
85 IOA/ABP/Receiver.thy IOA/ABP/Sender.thy IOA/ABP/Spec.thy\ |
85 IOA/ABP/Receiver.thy IOA/ABP/Sender.thy IOA/ABP/Spec.thy\ |
86 $(IOA_ABP_NAMES:%=IOA/ABP/%.thy) $(IOA_ABP_NAMES:%=IOA/ABP/%.ML)\ |
86 $(IOA_ABP_NAMES:%=IOA/ABP/%.thy) $(IOA_ABP_NAMES:%=IOA/ABP/%.ML)\ |
87 $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML) |
87 $(IOA_MT_NAMES:%=IOA/meta_theory/%.thy) $(IOA_MT_NAMES:%=IOA/meta_theory/%.ML) |
88 |
88 |
89 IOA: $(BIN)/HOL $(IOA_FILES) |
89 IOA: $(BIN)/HOL $(IOA_FILES) |
90 echo 'exit_use"IOA/ROOT.ML";quit();' | $(LOGIC) |
90 echo 'exit_use"IOA/ROOT_NTP.ML";quit();' | $(LOGIC) |
|
91 echo 'exit_use"IOA/ROOT_ABP.ML";quit();' | $(LOGIC) |
91 |
92 |
92 ##Properties of substitutions |
93 ##Properties of substitutions |
93 SUBST_NAMES = AList Setplus Subst Unifier UTerm UTLemmas |
94 SUBST_NAMES = AList Setplus Subst Unifier UTerm UTLemmas |
94 |
95 |
95 SUBST_FILES = Subst/ROOT.ML \ |
96 SUBST_FILES = Subst/ROOT.ML \ |