equal
deleted
inserted
replaced
1 (*:maxLineLen=78:*) |
1 (*:maxLineLen=78:*) |
2 |
2 |
3 theory Spec |
3 theory Spec |
4 imports Base Main |
4 imports Main Base |
5 begin |
5 begin |
6 |
6 |
7 chapter \<open>Specifications\<close> |
7 chapter \<open>Specifications\<close> |
8 |
8 |
9 text \<open> |
9 text \<open> |