| Tue, 04 May 2010 19:57:55 +0200 | ballarin | Provide internal function for printing a single interpretation. | changeset | files |
| Tue, 27 Apr 2010 22:27:22 +0200 | ballarin | Explicitly manage export in dependencies. | changeset | files |
| Tue, 04 May 2010 20:26:53 +0200 | wenzelm | fixed proof (cf. edc381bf7200); | changeset | files |