| Tue, 13 Jul 2010 11:00:20 +0100 | kleing | new settings for afp test | changeset | files |
| Tue, 13 Jul 2010 12:00:11 +0200 | krauss | Heap_Monad uses Monad_Syntax | changeset | files |
| Tue, 13 Jul 2010 11:50:22 +0200 | krauss | State_Monad uses Monad_Syntax | changeset | files |
| Tue, 13 Jul 2010 00:15:37 +0200 | krauss | uniform do notation for monads | changeset | files |
| Tue, 13 Jul 2010 00:15:37 +0200 | krauss | generic ad-hoc overloading via check/uncheck | changeset | files |
| Tue, 13 Jul 2010 11:38:04 +0200 | haftmann | corrected title | changeset | files |
| Tue, 13 Jul 2010 11:38:03 +0200 | haftmann | theorem collections do not contain default rules any longer | changeset | files |
| Tue, 13 Jul 2010 02:29:05 +0200 | boehmes | fixed handling of Ball/Bex: turn equalities into meta-equalities for the rewriting conversions; | changeset | files |