| Tue, 07 Aug 2012 13:21:29 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 07 Aug 2012 12:35:24 +0200 | wenzelm | tuned signature -- slightly more abstract text representation of prover process; | changeset | files |
| Tue, 07 Aug 2012 12:10:26 +0200 | wenzelm | tuned signature -- make Pretty less dependent on Symbol; | changeset | files |