Fri, 14 Feb 2014 07:53:46 +0100 | blanchet | merged 'Option.map' and 'Option.map_option' | file | diff | annotate |
Fri, 02 Aug 2013 12:17:55 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
Sat, 14 Jan 2012 13:22:39 +0100 | wenzelm | tuned proofs; | file | diff | annotate |