--- a/ProgTutorial/Recipes/USTypes.thy	Thu Mar 26 19:00:51 2009 +0000
+++ b/ProgTutorial/Recipes/USTypes.thy	Fri Mar 27 12:49:28 2009 +0000
@@ -4,7 +4,7 @@
 begin
 
 
-section {* User Space Type-Systems *}
+section {* User Space Type-Systems (TBD) *}