| Fri, 01 Jul 1994 11:03:42 +0200 | clasohm | replaced extend_theory by new add_* functions; | changeset | files |
| Wed, 29 Jun 1994 12:13:03 +0200 | clasohm | added parentheses made necessary by new constrain precedence | changeset | files |
| Wed, 29 Jun 1994 12:03:41 +0200 | clasohm | added parentheses made necessary by change of constrain's precedence | changeset | files |