| Sat, 16 Apr 2005 18:58:09 +0200 | wenzelm | added make_gram; | changeset | files |
| Sat, 16 Apr 2005 18:57:53 +0200 | wenzelm | identify binder translations only once (admits remove); | changeset | files |
| Sat, 16 Apr 2005 18:57:39 +0200 | wenzelm | Syntax.mk_trfun; | changeset | files |