Thu, 09 Mar 2000 22:57:39 +0100 | wenzelm | quote tag arguments; | changeset | files |
Thu, 09 Mar 2000 22:57:13 +0100 | wenzelm | more robust case names of induct; | changeset | files |
Thu, 09 Mar 2000 22:56:40 +0100 | wenzelm | cleaned comment; | changeset | files |