| Wed, 24 Apr 2013 16:21:23 +0200 | blanchet | apply arguments to f and g in "case_cong" | changeset | files |
| Wed, 24 Apr 2013 15:42:00 +0200 | blanchet | derive "map_cong" | changeset | files |
| Wed, 24 Apr 2013 14:15:01 +0200 | blanchet | renamed "map_cong" axiom to "map_cong0" in preparation for real "map_cong" | changeset | files |