Fri, 23 May 1997 18:55:28 +0200 | wenzelm | tuned; | changeset | files |
Fri, 23 May 1997 18:20:20 +0200 | nipkow | arbitrary | changeset | files |
Fri, 23 May 1997 18:17:53 +0200 | nipkow | Added `arbitrary' | changeset | files |
Fri, 23 May 1997 14:52:45 +0200 | wenzelm | fixed; | changeset | files |
Fri, 23 May 1997 14:49:39 +0200 | oheimb | new syntactic priority of lambda abstraction | changeset | files |
Fri, 23 May 1997 14:48:10 +0200 | oheimb | adapted entry for addss, addSss | changeset | files |
Fri, 23 May 1997 14:17:40 +0200 | nipkow | news. | changeset | files |