| Thu, 15 Oct 2009 23:10:35 +0200 | wenzelm | space_implode; | changeset | files |
| Thu, 15 Oct 2009 21:28:39 +0200 | wenzelm | normalized aliases of Output operations; | changeset | files |
| Thu, 15 Oct 2009 21:08:03 +0200 | wenzelm | eliminated slightly odd get/set operations in favour of Unsynchronized.ref; | changeset | files |
| Thu, 15 Oct 2009 17:49:30 +0200 | wenzelm | natural argument order for prover; | changeset | files |