| Tue, 29 May 2001 11:43:12 +0200 | paulson | deleted a needless reference to rtrancl_unfold | changeset | files |
| Mon, 28 May 2001 18:48:28 +0200 | oheimb | improved handling of space before/after parentheses | changeset | files |
| Tue, 22 May 2001 15:15:16 +0200 | berghofe | Inductive characterization of wfrec combinator. | changeset | files |