| Tue, 13 Apr 2010 11:04:27 -0700 | huffman | bring HOLCF/ex/Domain_Proofs.thy up to date | changeset | files |
| Tue, 13 Apr 2010 15:30:15 +0200 | blanchet | adapt Refute example to reflect latest soundness fix to Refute | changeset | files |
| Tue, 13 Apr 2010 15:16:54 +0200 | blanchet | commented out unsound "lfp"/"gfp" handling + fixed set output syntax; | changeset | files |
| Tue, 13 Apr 2010 14:08:58 +0200 | blanchet | merged | changeset | files |
| Tue, 13 Apr 2010 13:26:06 +0200 | blanchet | make Nitpick output everything to tracing in debug mode; | changeset | files |
| Tue, 13 Apr 2010 13:24:03 +0200 | blanchet | fix bug in Nitpick's handling of "<" (exposed by "GCD.setprod_coprime_int") | changeset | files |
| Tue, 13 Apr 2010 11:43:11 +0200 | blanchet | cosmetics | changeset | files |