| Thu, 26 Oct 2006 15:12:03 +0200 | krauss | Added "measures" combinator for lexicographic combinations of multiple measures. | changeset | files |
| Thu, 26 Oct 2006 10:48:35 +0200 | paulson | Conversion to clause form now tolerates Boolean variables without looping. | changeset | files |
| Tue, 24 Oct 2006 12:02:53 +0200 | urbanc | adapted to Stefan's new inductive package | changeset | files |