changeset 61656 | cfabbc083977 |
parent 61606 | 6d5213bd9709 |
child 61664 | 6099d48193d0 |
61655:f217bbe4e93e | 61656:cfabbc083977 |
---|---|
1 (*:maxLineLen=78:*) |
|
2 |
|
1 theory Spec |
3 theory Spec |
2 imports Base Main "~~/src/Tools/Permanent_Interpretation" |
4 imports Base Main "~~/src/Tools/Permanent_Interpretation" |
3 begin |
5 begin |
4 |
6 |
5 chapter \<open>Specifications\<close> |
7 chapter \<open>Specifications\<close> |