| changeset 58884 | be4d203d35b3 |
| parent 53241 | effd8fcabca2 |
| child 58963 | 26bf09b95dda |
| 58883:fef1df4268d6 | 58884:be4d203d35b3 |
|---|---|
1 |
1 section {* The Multi-Mutator Case *} |
2 header {* \section{The Multi-Mutator Case} *} |
|
3 |
2 |
4 theory Mul_Gar_Coll imports Graph OG_Syntax begin |
3 theory Mul_Gar_Coll imports Graph OG_Syntax begin |
5 |
4 |
6 text {* The full theory takes aprox. 18 minutes. *} |
5 text {* The full theory takes aprox. 18 minutes. *} |
7 |
6 |