| Sun, 05 Jun 2011 15:00:17 +0200 | boehmes | made introduction of explicit application stable under removal of vacuous facts (which only lower the rank of constants but do not participate in the proof) | changeset | files |
| Fri, 03 Jun 2011 19:37:26 +0200 | bulwahn | changing the mira setting again for the mutabelle configuration | changeset | files |
| Fri, 03 Jun 2011 07:25:44 +0200 | bulwahn | adding more settings to mira's mutabelle configuration | changeset | files |
| Thu, 02 Jun 2011 15:17:23 +0200 | nipkow | merged | changeset | files |
| Thu, 02 Jun 2011 10:10:23 +0200 | nipkow | Added typed IMP | changeset | files |
| Thu, 02 Jun 2011 10:13:46 +0200 | bulwahn | adding quickcheck narrowing to mutabelle script; deactivating nitpick in mutabelle script momentarily because we are not monitoring the results effectively | changeset | files |