| Fri, 19 Feb 2010 09:35:18 +0100 | blanchet | merge | changeset | files |
| Thu, 18 Feb 2010 18:48:07 +0100 | blanchet | added support for nonstandard "nat"s to Nitpick and fixed bugs in binary "nat"s and "int"s | changeset | files |
| Thu, 18 Feb 2010 10:38:37 +0100 | blanchet | fix bug in Nitpick's monotonicity code w.r.t. binary integers | changeset | files |
| Thu, 18 Feb 2010 23:43:14 +0100 | wenzelm | merged | changeset | files |
| Thu, 18 Feb 2010 14:28:26 -0800 | huffman | merged | changeset | files |
| Thu, 18 Feb 2010 14:21:44 -0800 | huffman | get rid of many duplicate simp rule warnings | changeset | files |
| Thu, 18 Feb 2010 13:29:59 -0800 | huffman | get rid of warnings about duplicate simp rules in all HOLCF theories | changeset | files |
| Thu, 18 Feb 2010 12:36:09 -0800 | huffman | HOLCF-FOCUS depends on ex/Stream.thy | changeset | files |