| 2009-04-17 | haftmann | separated funpow, relpow from power on monoids | changeset | files |
| 2009-04-17 | haftmann | static compilation of enumeration type | changeset | files |
| 2009-04-17 | haftmann | re-engineering of evaluation conversions | changeset | files |
| 2009-04-17 | haftmann | tuned | changeset | files |
| 2009-04-17 | haftmann | separate channel for Quickcheck evaluations | changeset | files |
| 2009-04-17 | haftmann | merged | changeset | files |
| 2009-04-17 | haftmann | zmod_zmult_zmult1 now subsumed by mod_mult_mult1 | changeset | files |
| 2009-04-17 | haftmann | diagnostic commands now in code_thingol; tuned code of funny continuations | changeset | files |
| 2009-04-17 | haftmann | simplified code | changeset | files |
| 2009-04-17 | haftmann | zmod_zmult_zmult1 now subsumed by mod_mult_mult1 | changeset | files |
| 2009-04-17 | haftmann | added both cancel_div_mod_procs | changeset | files |
| 2009-04-16 | haftmann | wellsortedness is no issue for a user manual any more | changeset | files |
| Loading... | |||