| Tue, 16 May 2006 21:33:18 +0200 | wenzelm | export consts_of; | changeset | files |
| Tue, 16 May 2006 21:33:16 +0200 | wenzelm | replaced abbrevs by term_syntax, which is both simpler and more general; | changeset | files |
| Tue, 16 May 2006 21:33:14 +0200 | wenzelm | added syntax interface; | changeset | files |
| Tue, 16 May 2006 21:33:11 +0200 | wenzelm | added add_modesyntax; | changeset | files |
| Tue, 16 May 2006 21:33:09 +0200 | wenzelm | added 'const_syntax'; | changeset | files |
| Tue, 16 May 2006 21:33:07 +0200 | wenzelm | added add_const_syntax, add_consts_authentic; | changeset | files |
| Tue, 16 May 2006 21:33:05 +0200 | wenzelm | added syntax interface; | changeset | files |