| Thu, 13 Jul 2000 11:38:42 +0200 | wenzelm | "_i" arguments now expected to have skolems already internalized; | changeset | files |
| Thu, 13 Jul 2000 11:36:57 +0200 | wenzelm | make: opaq flag; | changeset | files |
| Thu, 13 Jul 2000 11:36:29 +0200 | wenzelm | added internal, dest_internal; | changeset | files |
| Wed, 12 Jul 2000 16:44:34 +0200 | wenzelm | infix 'OF' is a version of 'MRS' with more appropriate argument order; | changeset | files |