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"