[Agda] max (x :: xs)

[Serge D. Mechveliani]

People,
for any occasion, do you happen to know of whether lib-0.7 has a 
function for maximum in a List (with returning also the corresponding 
proof) ?

Thanks,

------
Sergei