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:19:15 +0200 | haftmann | split off mrec into separate theory | file | diff | annotate |