| Wed, 04 Apr 2012 10:17:54 +0200 | bulwahn | rudimentary handling of products in finitize_functions in Quickcheck-Narrowing | changeset | files |
| Wed, 04 Apr 2012 10:17:08 +0200 | bulwahn | improved equality check for modes in predicate compiler | changeset | files |
| Wed, 04 Apr 2012 09:00:10 +0200 | huffman | rename ML structure to avoid shadowing earlier name | changeset | files |
| Wed, 04 Apr 2012 07:47:42 +0200 | huffman | add type annotations to make SML happy (cf. ec6187036495) | changeset | files |