| Tue, 30 Apr 2013 13:38:41 +0200 | blanchet | lowercase type constructor, for consistency (cf. fp_result not FP_result nor FP_Result) | changeset | files |
| Tue, 30 Apr 2013 13:34:31 +0200 | blanchet | renamed "bnf_def" keyword to "bnf" (since it's not a definition, but rather a registration) | changeset | files |
| Tue, 30 Apr 2013 13:23:52 +0200 | blanchet | Added maps, sets, rels to "simps" thm collection | changeset | files |