equal
deleted
inserted
replaced
2 theory USTypes |
2 theory USTypes |
3 imports "../Appendix" |
3 imports "../Appendix" |
4 begin |
4 begin |
5 |
5 |
6 |
6 |
7 section {* User Space Type-Systems (TBD) *} |
7 section \<open>User Space Type-Systems (TBD)\<close> |
8 |
8 |
9 |
9 |
10 |
10 |
11 end |
11 end |
12 |
12 |