ProgTutorial/Recipes/USTypes.thy
author Norbert Schirmer <norbert.schirmer@web.de>
Fri, 17 May 2019 10:38:01 +0200 (2019-05-17)
changeset 569 f875a25aa72d
parent 565 cecd7a941885
permissions -rw-r--r--
prefer cartouches over " in ML antiquotations

theory USTypes
imports "../Appendix"
begin


section \<open>User Space Type-Systems (TBD)\<close>



end