equal
deleted
inserted
replaced
65 Tools/domain/domain_extender.ML \ |
65 Tools/domain/domain_extender.ML \ |
66 Tools/domain/domain_axioms.ML \ |
66 Tools/domain/domain_axioms.ML \ |
67 Tools/domain/domain_library.ML \ |
67 Tools/domain/domain_library.ML \ |
68 Tools/domain/domain_syntax.ML \ |
68 Tools/domain/domain_syntax.ML \ |
69 Tools/domain/domain_theorems.ML \ |
69 Tools/domain/domain_theorems.ML \ |
70 Tools/fixrec_package.ML \ |
70 Tools/fixrec.ML \ |
71 Tools/pcpodef_package.ML \ |
71 Tools/pcpodef.ML \ |
72 holcf_logic.ML \ |
72 holcf_logic.ML \ |
73 document/root.tex |
73 document/root.tex |
74 @$(ISABELLE_TOOL) usedir -b -g true -r $(OUT)/HOL HOLCF |
74 @$(ISABELLE_TOOL) usedir -b -g true -r $(OUT)/HOL HOLCF |
75 |
75 |
76 |
76 |
125 IOA/meta_theory/Sequence.thy IOA/meta_theory/CompoExecs.thy \ |
125 IOA/meta_theory/Sequence.thy IOA/meta_theory/CompoExecs.thy \ |
126 IOA/meta_theory/RefMappings.thy IOA/meta_theory/Compositionality.thy \ |
126 IOA/meta_theory/RefMappings.thy IOA/meta_theory/Compositionality.thy \ |
127 IOA/meta_theory/TL.thy IOA/meta_theory/TLS.thy \ |
127 IOA/meta_theory/TL.thy IOA/meta_theory/TLS.thy \ |
128 IOA/meta_theory/LiveIOA.thy IOA/meta_theory/Pred.thy \ |
128 IOA/meta_theory/LiveIOA.thy IOA/meta_theory/Pred.thy \ |
129 IOA/meta_theory/Abstraction.thy IOA/meta_theory/Simulations.thy \ |
129 IOA/meta_theory/Abstraction.thy IOA/meta_theory/Simulations.thy \ |
130 IOA/meta_theory/SimCorrectness.thy IOA/meta_theory/ioa_package.ML |
130 IOA/meta_theory/SimCorrectness.thy IOA/meta_theory/ioa.ML |
131 @cd IOA; $(ISABELLE_TOOL) usedir -b $(OUT)/HOLCF IOA |
131 @cd IOA; $(ISABELLE_TOOL) usedir -b $(OUT)/HOLCF IOA |
132 |
132 |
133 |
133 |
134 ## IOA-ABP |
134 ## IOA-ABP |
135 |
135 |