| Tue, 03 Apr 2007 19:24:21 +0200 | wenzelm | avoid overloaded integer constants (accomodate Alice); | changeset | files |
| Tue, 03 Apr 2007 19:24:19 +0200 | wenzelm | avoid clash with Alice keywords; | changeset | files |
| Tue, 03 Apr 2007 19:24:18 +0200 | wenzelm | signature: eqtype to accomodate Alice; | changeset | files |