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 |
Tue, 16 Nov 2010 11:50:05 -0800 | huffman | rename 'repdef' to 'domaindef' | changeset | files |