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