| Tue, 07 Sep 2010 12:04:34 +0200 | nipkow | merged | changeset | files |
| Tue, 07 Sep 2010 12:04:18 +0200 | nipkow | renamed expand_*_eq in HOLCF as well | changeset | files |
| Tue, 07 Sep 2010 10:05:19 +0200 | nipkow | expand_fun_eq -> ext_iff | changeset | files |
| Tue, 07 Sep 2010 11:52:43 +0200 | bulwahn | merged | changeset | files |
| Tue, 07 Sep 2010 11:51:53 +0200 | bulwahn | lower expectation in Reg exp example | changeset | files |
| 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 |