Fri, 14 Mar 1997 10:35:30 +0100 | nipkow | Avoid eta-contraction in the simplifier. | changeset | files |
Tue, 11 Mar 1997 17:20:59 +0100 | wenzelm | tuned glyphs; | changeset | files |
Tue, 11 Mar 1997 17:20:31 +0100 | wenzelm | tuned Sigma glyph; | changeset | files |