| Wed, 23 Apr 2014 10:23:26 +0200 | blanchet | added 'inj_map' as auxiliary BNF theorem | changeset | files |
| Wed, 23 Apr 2014 10:23:26 +0200 | blanchet | tuned whitespace | changeset | files |
| Wed, 23 Apr 2014 09:32:00 +0200 | hoelzl | remove add_eq_zero_iff, it is replaced by add_nonneg_eq_0_iff; also removes it from the simpset | changeset | files |
| Tue, 22 Apr 2014 12:41:34 +0200 | wenzelm | favorites for jEdit file browser, although an expanded directory path is expected here, not environment variables; | changeset | files |