| Wed, 17 Nov 2010 08:14:55 +0100 | boehmes | keep input and output files used to communicate with the SMT solver (for debugging purposes mainly) | changeset | files |
| Tue, 16 Nov 2010 12:08:28 -0800 | huffman | add lemmas about powerdomains | changeset | files |
| Tue, 16 Nov 2010 11:57:10 -0800 | huffman | declare {upper,lower,convex}_pd_induct as default induction rules | changeset | files |