Mon, 22 Sep 1997 17:31:57 +0200 | wenzelm | tuned pattern syntax; | changeset | files |
Mon, 22 Sep 1997 17:31:28 +0200 | wenzelm | tuned lambda_ast_tr, idtyp_ast_tr' to accomodate fix of idt/idts | changeset | files |
Mon, 22 Sep 1997 17:29:42 +0200 | wenzelm | fixed idt/idts vs. pttrn/pttrns; | changeset | files |