| Wed, 10 Oct 2012 10:41:16 +0200 | bulwahn | set_comprehension_pointfree also handles terms where the equation is not at the first position, which is a necessary generalisation to eventually handle bounded existentials; tuned | changeset | files |
| Wed, 10 Oct 2012 08:45:27 +0200 | haftmann | more consistent error messages on malformed code equations | changeset | files |
| Tue, 09 Oct 2012 17:33:46 +0200 | huffman | removed support for set constant definitions in HOLCF {cpo,pcpo,domain}def commands; | changeset | files |
| Tue, 09 Oct 2012 16:58:36 +0200 | kuncar | use Set.filter instead of Finite_Set.filter, which is removed then | changeset | files |
| Tue, 09 Oct 2012 16:57:58 +0200 | kuncar | rename Set.project to Set.filter - more appropriate name | changeset | files |
| Wed, 10 Oct 2012 15:39:01 +0200 | wenzelm | added some ad-hoc namespace prefixes to avoid duplicate facts; | changeset | files |