Wed, 17 May 2006 22:34:50 +0200 | wenzelm | export generic term_syntax; | changeset | files |
Wed, 17 May 2006 22:34:49 +0200 | wenzelm | consts: replaced early'' flag by inverted authentic''; | changeset | files |
Wed, 17 May 2006 22:34:47 +0200 | wenzelm | added mapping; | changeset | files |