last : 'a list -> 'a
STRUCTURE
SYNOPSIS
Computes the last element of a list.
DESCRIPTION
last [x1,...,xn] returns xn.
FAILURE
Fails if the list is empty.
SEEALSO
HOL  Kananaskis-13