| Sat, 21 Jul 2012 10:55:42 +0200 | bulwahn | restricting Quickcheck_Examples' root file to one basic theory to see if the system error on isatest still occurs | changeset | files |
| Sat, 21 Jul 2012 10:53:26 +0200 | bulwahn | handling partiality in the case where the equality optimisation is applied | changeset | files |
| Fri, 20 Jul 2012 23:38:15 +0200 | wenzelm | merged | changeset | files |