fun last [] = nil | last(head::nil) = [head] | last(head::list) =
last(list);

last(head::nil)=head

operator domain: 'Z list list
operand:         real list