1
(*<*)
2
theory unfoldnested = Main:;
3
(*>*)
4
datatype ('a,'b)"term" = Var 'a | App 'b "('a,'b)term_list"
5
and ('a,'b)term_list = Nil | Cons "('a,'b)term" "('a,'b)term_list"
6
7
end
8