| Tue, 21 Apr 2009 17:01:45 -0700 | huffman | add HOLCF/ex/Domain_ex.thy, with example uses of the domain package | changeset | files |
| Tue, 21 Apr 2009 15:57:08 -0700 | huffman | make domain package ML interface more consistent with datatype package; use binding instead of bstring | changeset | files |
| Tue, 21 Apr 2009 11:11:04 -0700 | huffman | use Sign.add_consts instead of ContConsts.add_consts | changeset | files |