| Wed, 15 Apr 2009 15:30:39 +0200 | haftmann | theory NatBin now named Nat_Numeral | changeset | files |
| Wed, 15 Apr 2009 15:30:38 +0200 | haftmann | default instantiation for unit type | changeset | files |
| Wed, 15 Apr 2009 15:30:37 +0200 | haftmann | more coherent developement in Divides.thy and IntDiv.thy | changeset | files |
| Tue, 21 Apr 2009 17:07:44 -0700 | huffman | add more examples to Domain_ex.thy | changeset | files |
| Tue, 21 Apr 2009 17:02:48 -0700 | huffman | merged | changeset | files |
| 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 |