| Tue, 13 Jul 2010 12:01:34 +0200 | haftmann | hide_const; update replaces change | file | diff | annotate |
| Tue, 13 Jul 2010 12:00:11 +0200 | krauss | Heap_Monad uses Monad_Syntax | file | diff | annotate |
| Tue, 13 Jul 2010 11:38:03 +0200 | haftmann | theorem collections do not contain default rules any longer | file | diff | annotate |
| Mon, 12 Jul 2010 16:05:08 +0200 | haftmann | spelt out relational framework in a consistent way | file | diff | annotate |
| Fri, 09 Jul 2010 16:58:44 +0200 | haftmann | pervasive success combinator | file | diff | annotate |
| Fri, 09 Jul 2010 10:08:10 +0200 | haftmann | avoid slightly odd "M" suffix; rename mapM to fold_map (fold_map_abort would be more correct, though) | file | diff | annotate |
| Fri, 09 Jul 2010 09:48:52 +0200 | haftmann | tuned array theory | file | diff | annotate |