| Tue, 14 Jul 2009 10:54:04 +0200 | haftmann | code attributes use common underscore convention | changeset | files |
| Tue, 14 Jul 2009 10:53:44 +0200 | haftmann | NEWS and CONTRIBUTORS | changeset | files |
| Mon, 13 Jul 2009 19:07:05 +0200 | berghofe | Tuned proof of lcm_1_iff_int, because metis produced enormous proof term. | changeset | files |
| Sun, 12 Jul 2009 14:48:01 +0200 | nipkow | more gcd/lcm lemmas | changeset | files |
| Sun, 12 Jul 2009 11:36:09 +0200 | nipkow | typo | changeset | files |
| Sun, 12 Jul 2009 11:25:56 +0200 | nipkow | resolvd conflict | changeset | files |
| Sun, 12 Jul 2009 10:14:51 +0200 | nipkow | More about gcd/lcm, and some cleaning up | changeset | files |
| Sat, 11 Jul 2009 21:33:01 +0200 | haftmann | added boolean_algebra type class; tuned lattice duals | changeset | files |
| Fri, 10 Jul 2009 09:24:50 +0200 | krauss | move Kleene_Algebra to Library | changeset | files |
| Fri, 10 Jul 2009 07:59:44 +0200 | haftmann | merged | changeset | files |
| Fri, 10 Jul 2009 07:59:29 +0200 | haftmann | tuned locale interface | changeset | files |
| Fri, 10 Jul 2009 07:59:28 +0200 | haftmann | tuned | changeset | files |