| Mon, 22 Nov 2010 09:37:39 +0100 | haftmann | renamed slightly ambivalent crel to effect | file | diff | annotate |
| Tue, 28 Sep 2010 09:54:07 +0200 | krauss | no longer declare .psimps rules as [simp]. | 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:19:15 +0200 | haftmann | split off mrec into separate theory | file | diff | annotate |