| Sat, 29 Oct 2005 14:37:32 +0200 | urbanc | 1) have adjusted the swapping of the result type | changeset | files |
| Fri, 28 Oct 2005 22:37:57 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 28 Oct 2005 22:32:55 +0200 | wenzelm | lthms_containing: not o valid_thms; | changeset | files |