| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | renewing specification in example file; adding invocation in example file | changeset | files |
| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | handling collection of simprules as sets rather than as lists | changeset | files |
| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | stating errors in error messages more verbose in predicate compiler | changeset | files |
| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | raising an exception instead of guessing some reasonable behaviour for this function | changeset | files |