| changeset 346 | 0fea8b7a14a1 |
| parent 342 | 930b1308fd96 |
| child 358 | 9cf3bc448210 |
| 345:4c54ef4dc84d | 346:0fea8b7a14a1 |
|---|---|
1 theory Ind_Code |
1 theory Ind_Code |
2 imports "../Base" "../FirstSteps" Ind_General_Scheme |
2 imports Ind_General_Scheme "../FirstSteps" |
3 begin |
3 begin |
4 |
4 |
5 section {* The Gory Details\label{sec:code} *} |
5 section {* The Gory Details\label{sec:code} *} |
6 |
6 |
7 text {* |
7 text {* |