On 2013-09-16 12:29, Serge D. Mechveliani wrote: > 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) ? I don't think so. -- /NAD