| 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 |
| Thu, 22 Oct 2009 17:54:47 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 22 Oct 2009 17:09:29 +0200 | wenzelm | updated session name; | changeset | files |