Mon, 15 May 1995 09:35:07 +0200 | nipkow | renamed trans_rtrancl to rtrancl_trans and modified it by expanding trans. | changeset | files |
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 |