| 2009-07-12 | nipkow | typo | changeset | files |
| 2009-07-12 | nipkow | resolvd conflict | changeset | files |
| 2009-07-12 | nipkow | More about gcd/lcm, and some cleaning up | changeset | files |
| 2009-07-11 | haftmann | added boolean_algebra type class; tuned lattice duals | changeset | files |
| 2009-07-10 | krauss | move Kleene_Algebra to Library | changeset | files |
| 2009-07-10 | haftmann | merged | changeset | files |
| 2009-07-10 | haftmann | tuned locale interface | changeset | files |
| Loading... | |||