equal
deleted
inserted
replaced
77 IOA/meta_theory/ShortExecutions.thy IOA/meta_theory/ShortExecutions.ML \ |
77 IOA/meta_theory/ShortExecutions.thy IOA/meta_theory/ShortExecutions.ML \ |
78 IOA/meta_theory/IOA.thy IOA/meta_theory/IOA.ML \ |
78 IOA/meta_theory/IOA.thy IOA/meta_theory/IOA.ML \ |
79 IOA/meta_theory/Sequence.thy IOA/meta_theory/Automata.ML \ |
79 IOA/meta_theory/Sequence.thy IOA/meta_theory/Automata.ML \ |
80 IOA/meta_theory/CompoExecs.thy IOA/meta_theory/RefMappings.thy \ |
80 IOA/meta_theory/CompoExecs.thy IOA/meta_theory/RefMappings.thy \ |
81 IOA/meta_theory/RefCorrectness.ML IOA/meta_theory/Compositionality.ML \ |
81 IOA/meta_theory/RefCorrectness.ML IOA/meta_theory/Compositionality.ML \ |
82 IOA/meta_theory/Compositionality.thy |
82 IOA/meta_theory/Compositionality.thy \ |
|
83 IOA/meta_theory/TL.thy IOA/meta_theory/TL.ML IOA/meta_theory/TLS.thy \ |
|
84 IOA/meta_theory/TLS.ML IOA/meta_theory/LiveIOA.thy IOA/meta_theory/LiveIOA.ML \ |
|
85 IOA/meta_theory/Pred.thy IOA/meta_theory/Abstraction.thy \ |
|
86 IOA/meta_theory/Abstraction.ML IOA/meta_theory/TrivEx.thy IOA/meta_theory/TrivEx.ML \ |
|
87 IOA/meta_theory/TrivEx2.thy IOA/meta_theory/TrivEx2.ML |
83 @cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA |
88 @cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA |
84 |
89 |
85 |
90 |
86 ## IOA-ABP |
91 ## IOA-ABP |
87 |
92 |