| Thu, 06 Mar 2014 13:36:48 +0100 | blanchet | renamed 'map_pair' to 'map_prod' | file | diff | annotate |
| Thu, 06 Mar 2014 13:36:15 +0100 | blanchet | renamed 'map_sum' to 'sum_map' | file | diff | annotate |
| Fri, 14 Feb 2014 07:53:46 +0100 | blanchet | merged 'Option.map' and 'Option.map_option' | file | diff | annotate |
| Wed, 12 Feb 2014 08:35:57 +0100 | blanchet | renamed '{prod,sum,bool,unit}_case' to 'case_...' | file | diff | annotate |
| Wed, 22 Jan 2014 10:13:40 +0100 | blanchet | whitespace tuning | file | diff | annotate |
| Thu, 16 Jan 2014 20:52:54 +0100 | blanchet | get rid of 'rel' locale, to facilitate inclusion of 'Order_Relation_More_FP' into 'Order_Relation' | file | diff | annotate |
| Fri, 10 Jan 2014 17:24:52 +0100 | traytel | basic ordinal arithmetic and cardinals library extension (not relevant for BNFs) | file | diff | annotate |