Fri, 14 Feb 1997 16:01:43 +0100 | narasche | Some lemmas changed to valuesd | changeset | files |
Fri, 14 Feb 1997 15:32:00 +0100 | wenzelm | fixed comment; | changeset | files |
Fri, 14 Feb 1997 15:29:20 +0100 | wenzelm | improved interface options; | changeset | files |