73 |
73 |
74 ## IOA |
74 ## IOA |
75 |
75 |
76 IOA: HOLCF $(OUT)/IOA |
76 IOA: HOLCF $(OUT)/IOA |
77 |
77 |
78 $(OUT)/IOA: $(OUT)/HOLCF IOA/ROOT.ML IOA/meta_theory/Traces.thy \ |
78 $(OUT)/IOA: $(OUT)/HOLCF IOA/ROOT.ML IOA/meta_theory/Traces.thy \ |
79 IOA/meta_theory/Asig.ML IOA/meta_theory/Asig.thy \ |
79 IOA/meta_theory/Asig.thy IOA/meta_theory/CompoScheds.thy \ |
80 IOA/meta_theory/CompoScheds.thy IOA/meta_theory/CompoExecs.ML \ |
80 IOA/meta_theory/CompoTraces.thy IOA/meta_theory/Seq.thy \ |
81 IOA/meta_theory/CompoTraces.thy IOA/meta_theory/CompoScheds.ML \ |
81 IOA/meta_theory/RefCorrectness.thy IOA/meta_theory/Automata.thy \ |
82 IOA/meta_theory/CompoTraces.ML IOA/meta_theory/Sequence.ML \ |
82 IOA/meta_theory/ShortExecutions.thy IOA/meta_theory/IOA.thy \ |
83 IOA/meta_theory/Seq.thy IOA/meta_theory/RefCorrectness.thy \ |
83 IOA/meta_theory/Sequence.thy IOA/meta_theory/CompoExecs.thy \ |
84 IOA/meta_theory/Automata.thy IOA/meta_theory/Traces.ML \ |
84 IOA/meta_theory/RefMappings.thy IOA/meta_theory/Compositionality.thy \ |
85 IOA/meta_theory/RefMappings.ML \ |
85 IOA/meta_theory/TL.thy IOA/meta_theory/TLS.thy \ |
86 IOA/meta_theory/ShortExecutions.thy IOA/meta_theory/ShortExecutions.ML \ |
86 IOA/meta_theory/LiveIOA.thy IOA/meta_theory/Pred.thy \ |
87 IOA/meta_theory/IOA.thy \ |
87 IOA/meta_theory/Abstraction.thy IOA/meta_theory/Simulations.thy \ |
88 IOA/meta_theory/Sequence.thy IOA/meta_theory/Automata.ML \ |
88 IOA/meta_theory/SimCorrectness.thy IOA/meta_theory/ioa_package.ML |
89 IOA/meta_theory/CompoExecs.thy IOA/meta_theory/RefMappings.thy \ |
|
90 IOA/meta_theory/RefCorrectness.ML IOA/meta_theory/Compositionality.ML \ |
|
91 IOA/meta_theory/Compositionality.thy \ |
|
92 IOA/meta_theory/TL.thy IOA/meta_theory/TL.ML IOA/meta_theory/TLS.thy \ |
|
93 IOA/meta_theory/TLS.ML IOA/meta_theory/LiveIOA.thy IOA/meta_theory/LiveIOA.ML \ |
|
94 IOA/meta_theory/Pred.thy IOA/meta_theory/Abstraction.thy \ |
|
95 IOA/meta_theory/Abstraction.ML \ |
|
96 IOA/meta_theory/Simulations.thy IOA/meta_theory/Simulations.ML \ |
|
97 IOA/meta_theory/SimCorrectness.thy IOA/meta_theory/SimCorrectness.ML \ |
|
98 IOA/meta_theory/ioa_package.ML |
|
99 @cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA |
89 @cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA |
100 |
90 |
101 |
91 |
102 ## IOA-ABP |
92 ## IOA-ABP |
103 |
93 |