| Tue, 02 Mar 2010 00:34:26 -0800 | huffman | domain package no longer generates copy functions; all proofs use take functions instead | file | diff | annotate |
| Fri, 20 Nov 2009 00:06:04 -0800 | huffman | example theory for new domain package | file | diff | annotate |