| Wed, 28 Apr 2010 12:07:52 +0200 | wenzelm | renamed command 'defaultsort' to 'default_sort'; | file | diff | annotate |
| 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 |