| Fri, 17 Jan 2014 10:02:50 +0100 | blanchet | folded 'Wellfounded_More_FP' into 'Wellfounded' | file | diff | annotate |
| Fri, 17 Jan 2014 10:02:49 +0100 | blanchet | folded 'Order_Relation_More_FP' into 'Order_Relation' | 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 |
| Mon, 18 Nov 2013 18:04:45 +0100 | blanchet | compile | file | diff | annotate | base |