Thu, 20 Oct 2011 08:20:35 +0200 | bulwahn | adding depth as an quickcheck configuration | changeset | files |
Thu, 20 Oct 2011 09:48:00 +0200 | nipkow | renamed name -> vname | changeset | files |
Wed, 19 Oct 2011 23:07:48 +0200 | haftmann | removed some remaining artefacts of ancient SML code generator | changeset | files |