| Tue, 12 Oct 2010 21:30:44 +0200 | krauss | slightly more robust proof | changeset | files |
| Mon, 11 Oct 2010 08:32:09 -0700 | huffman | renamed type and constant 'sfp' to 'defl'; replaced syntax SFP('a) with DEFL('a) | changeset | files |
| Mon, 11 Oct 2010 07:09:42 -0700 | huffman | merged | changeset | files |