| Fri, 14 Feb 2014 07:53:46 +0100 | blanchet | merged 'Option.map' and 'Option.map_option' | file | diff | annotate |
| Mon, 20 Jan 2014 21:32:41 +0100 | blanchet | moved 'fundef_cong' attribute (and other basic 'fun' stuff) up the dependency chain | file | diff | annotate | base |