Tue, 01 Jun 2004 12:36:26 +0200 | wenzelm | proper use of 'nonterminals'; | changeset | files |
Tue, 01 Jun 2004 12:36:10 +0200 | wenzelm | proper treatment of logical types within syntax; | changeset | files |
Tue, 01 Jun 2004 12:35:46 +0200 | wenzelm | removed obsolete sort 'logic' and '=?=' syntax; | changeset | files |