| changeset 346 | 0fea8b7a14a1 |
| parent 261 | 358f325f4db6 |
| child 404 | 3d27d77c351f |
| 345:4c54ef4dc84d | 346:0fea8b7a14a1 |
|---|---|
1 theory Ind_Extensions |
1 theory Ind_Extensions |
2 imports "../Base" Simple_Inductive_Package |
2 imports Simple_Inductive_Package Ind_Intro |
3 begin |
3 begin |
4 |
4 |
5 section {* Extensions of the Package (TBD) *} |
5 section {* Extensions of the Package (TBD) *} |
6 |
6 |
7 (* |
7 (* |