Sat, 13 May 1995 14:08:24 +0200 | nipkow | Added some lemmas about r^*. | changeset | files |
Sat, 13 May 1995 13:46:48 +0200 | nipkow | Lambda calculus in de Bruijn notation. | changeset | files |
Thu, 11 May 1995 10:42:19 +0200 | lcp | Indexing of COMP | changeset | files |