| Tue, 26 Oct 2010 12:19:02 +0200 | krauss | added Spec_Rule declaration to partial_function | changeset | files |
| Tue, 26 Oct 2010 12:19:01 +0200 | krauss | basic documentation for command partial_function | changeset | files |
| Tue, 26 Oct 2010 12:19:01 +0200 | krauss | remove outdated "(otherwise)" syntax from manual | changeset | files |
| Tue, 26 Oct 2010 12:19:01 +0200 | krauss | declare recursive equation as ".simps", in accordance with other packages | changeset | files |
| Tue, 26 Oct 2010 12:16:08 +0200 | haftmann | merged | changeset | files |
| Tue, 26 Oct 2010 12:15:55 +0200 | haftmann | dropped accidental doubled computation | changeset | files |
| Tue, 26 Oct 2010 11:51:09 +0200 | boehmes | optionally force the remote version of an SMT solver to be executed | changeset | files |