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 |