| Fri, 26 Nov 2010 22:36:24 +0100 | blanchet | renamed "trace_me{son,tis}" and "verbose_metis" to have the name of the tool first | changeset | files |
| Fri, 26 Nov 2010 22:22:07 +0100 | blanchet | put facts found by SMT solver in alphabetical order and omit chained facts, as was done already for ATP proofs | changeset | files |
| Fri, 26 Nov 2010 22:29:41 +0100 | wenzelm | make two copies (!) of Library.UnequalLengths coincide with ListPair.UnequalLengths; | changeset | files |
| Fri, 26 Nov 2010 22:04:33 +0100 | wenzelm | just one version of fold_rev2; | changeset | files |
| Fri, 26 Nov 2010 21:31:46 +0100 | wenzelm | explicit use of unprefix; | changeset | files |
| Fri, 26 Nov 2010 21:09:36 +0100 | wenzelm | keep private things private, without comments; | changeset | files |