| Sun, 13 Mar 2016 12:44:24 +0100 | wenzelm | clarified env; | changeset | files |
| Sun, 13 Mar 2016 12:39:12 +0100 | wenzelm | unused; | changeset | files |
| Sun, 13 Mar 2016 12:37:01 +0100 | wenzelm | more uniform signature for various process invocations; | changeset | files |
| Sun, 13 Mar 2016 11:48:38 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 13 Mar 2016 10:22:46 +0100 | haftmann | more theorems on orderings | changeset | files |
| Sun, 13 Mar 2016 09:06:50 +0100 | haftmann | dropped junk | changeset | files |
| Sat, 12 Mar 2016 22:51:37 +0100 | wenzelm | tuned; | changeset | files |