| Fri, 26 Nov 2010 22:29:41 +0100 | wenzelm | make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths; | file | diff | annotate |
| Thu, 03 Jun 2010 23:56:05 +0200 | wenzelm | do not open Proofterm, which is very ould style; | file | diff | annotate |
| Wed, 02 Jun 2010 21:39:35 +0200 | wenzelm | always unconstrain thm proofs; | file | diff | annotate |