1
(*<*)
2
theory pairs = Main:;
3
term(*>*) "let (x,y) = f z in (y,x)";
4
5
term(*>*) "case xs of [] \\<Rightarrow> 0 | (x,y)#zs \\<Rightarrow> x+y"
6
(**)(*<*)
7
end
8
(*>*)