ProgTutorial/Recipes/USTypes.thy
author Christian Urban <urbanc@in.tum.de>
Sat, 10 Oct 2009 15:16:44 +0200 (2009-10-10)
changeset 338 3bc732c9f7ff
parent 211 d5accbc67e1b
child 346 0fea8b7a14a1
permissions -rw-r--r--
more on the theorem section

theory USTypes
imports Main
begin


section {* User Space Type-Systems (TBD) *}



end