| Fri, 23 Oct 2009 10:11:56 +0200 | haftmann | merged | changeset | files |
| Fri, 23 Oct 2009 10:08:29 +0200 | haftmann | renamed f_inv_onto_f to f_inv_into_f (cf. 764547b68538) | changeset | files |
| Thu, 22 Oct 2009 16:58:22 +0200 | haftmann | restored accidentally deleted submultiset | changeset | files |
| Thu, 22 Oct 2009 16:52:06 +0200 | haftmann | multiset operations with canonical argument order | changeset | files |
| Thu, 22 Oct 2009 16:52:06 +0200 | haftmann | arg_types_of auxiliary function; using multiset operations | changeset | files |
| Fri, 23 Oct 2009 06:53:50 +0200 | haftmann | merged | changeset | files |
| Thu, 22 Oct 2009 16:50:24 +0200 | haftmann | close thm derivations explicitly | changeset | files |
| Fri, 23 Oct 2009 09:20:22 +1100 | tbourke | Fix a duplicate abbreviation || in etc/symbols. | changeset | files |