| Fri, 26 Nov 2010 15:11:08 -0800 | huffman | remove case combinator for fixrec match type | changeset | files |
| Fri, 26 Nov 2010 14:10:34 -0800 | huffman | declare more simp rules for powerdomains | changeset | files |
| Sat, 27 Nov 2010 00:00:54 +0100 | wenzelm | merged; | changeset | files |
| Fri, 26 Nov 2010 23:14:14 +0100 | haftmann | merged | changeset | files |
| Fri, 26 Nov 2010 23:13:58 +0100 | haftmann | strict forall2 | changeset | files |
| Fri, 26 Nov 2010 23:13:58 +0100 | haftmann | nbe decides equality of abstractions by extensionality | changeset | files |
| Fri, 26 Nov 2010 23:51:34 +0100 | wenzelm | eliminated some generated comments; | changeset | files |