+− theory USTypes+− imports Main+− begin+− +− +− section {* User Space Type-Systems (TBD) *}+− +− +− +− end+− +− +− +− +−