Fri, 27 Mar 2009 15:42:53 +0100 | wenzelm | export position_of; | changeset | files |
Fri, 27 Mar 2009 12:22:02 +0100 | haftmann | dropped infix union | changeset | files |
Fri, 27 Mar 2009 12:22:01 +0100 | haftmann | tuned notoriously slow metis proof | changeset | files |