equal
deleted
inserted
replaced
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 \ |
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 \ |
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 \ |
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 \ |
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 |
87 IOA/meta_theory/TrivEx2.thy IOA/meta_theory/TrivEx2.ML \ |
|
88 IOA/meta_theory/Simulations.thy IOA/meta_theory/Simulations.ML \ |
|
89 IOA/meta_theory/SimCorrectness.thy IOA/meta_theory/SimCorrectness.ML |
88 @cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA |
90 @cd IOA; $(ISATOOL) usedir -b $(OUT)/HOLCF IOA |
89 |
91 |
90 |
92 |
91 ## IOA-ABP |
93 ## IOA-ABP |
92 |
94 |