
diff -r d5ff8b782b29 -r fee7cfa69c50 src/Doc/Tutorial/Datatype/unfoldnested.thy
--- a/src/Doc/Tutorial/Datatype/unfoldnested.thy	Sat Nov 01 11:40:55 2014 +0100
+++ b/src/Doc/Tutorial/Datatype/unfoldnested.thy	Sat Nov 01 14:20:38 2014 +0100
@@ -1,5 +1,5 @@
 (*<*)
-theory unfoldnested imports Main begin;
+theory unfoldnested imports Main begin
 (*>*)
 datatype ('v,'f)"term" = Var 'v | App 'f "('v,'f)term_list"
 and ('v,'f)term_list = Nil | Cons "('v,'f)term" "('v,'f)term_list"




