| changeset 346 | 0fea8b7a14a1 |
| parent 316 | 74f0a06f751f |
| child 365 | 718beb785213 |
| 345:4c54ef4dc84d | 346:0fea8b7a14a1 |
|---|---|
1 theory Ind_Interface |
1 theory Ind_Interface |
2 imports "../Base" Simple_Inductive_Package |
2 imports Ind_Intro Simple_Inductive_Package |
3 begin |
3 begin |
4 |
4 |
5 section {* Parsing and Typing the Specification\label{sec:interface} *} |
5 section {* Parsing and Typing the Specification\label{sec:interface} *} |
6 |
6 |
7 text_raw {* |
7 text_raw {* |