| changeset 346 | 0fea8b7a14a1 |
| parent 211 | d5accbc67e1b |
| child 349 | 9e374cd891e1 |
| 345:4c54ef4dc84d | 346:0fea8b7a14a1 |
|---|---|
1 theory ExternalSolver |
1 theory ExternalSolver |
2 imports "../Base" |
2 imports "../Appendix" |
3 begin |
3 begin |
4 |
4 |
5 |
5 |
6 section {* Executing an External Application (TBD) \label{rec:external}*} |
6 section {* Executing an External Application (TBD) \label{rec:external}*} |
7 |
7 |