| Tue, 07 Sep 2010 15:56:33 -0700 | set up Nil and Cons to work as fixrec patterns | file | diff | annotate |
| Tue, 07 Sep 2010 12:04:18 +0200 | renamed expand_*_eq in HOLCF as well | file | diff | annotate |
| Sat, 04 Sep 2010 07:26:34 -0700 | add List_Cpo.thy to HOLCF/Library | file | diff | annotate |