started on pure cnf version, see sec6 of formulas.pdf
tree9bfe3757a713e304a668ab4b58a33f8c2d3bb3e1
-rwxr-xr-x 24084 DMVCCM.html
-rwxr-xr-x 14801 DMVCCM.html.~18~
-rwxr-xr-x 14801 DMVCCM.html.~19~
-rwxr-xr-x 4260 DMVCCM.html.~1~
-rwxr-xr-x 13329 DMVCCM.html.~20~
-rwxr-xr-x 14290 DMVCCM.html.~21~
-rwxr-xr-x 14411 DMVCCM.html.~22~
-rwxr-xr-x 14470 DMVCCM.html.~23~
-rwxr-xr-x 10597 DMVCCM.html.~2~
-rwxr-xr-x 5805 DMVCCM.html~20080525~
-rwxr-xr-x 8242 DMVCCM.html~20080526~
-rwxr-xr-x 9389 DMVCCM.html~20080527~
-rwxr-xr-x 10592 DMVCCM.html~20080528~
-rwxr-xr-x 14557 DMVCCM.org
-rwxr-xr-x 8333 DMVCCM.org.~10~
-rwxr-xr-x 10325 DMVCCM.org.~11~
-rwxr-xr-x 10531 DMVCCM.org.~12~
-rwxr-xr-x 10636 DMVCCM.org.~13~
-rwxr-xr-x 10661 DMVCCM.org.~14~
-rwxr-xr-x 7319 DMVCCM.org.~1~
-rwxr-xr-x 6389 DMVCCM.org.~2~
-rwxr-xr-x 8165 DMVCCM.org.~8~
-rwxr-xr-x 7543 DMVCCM.org.~9~
-rw-r--r-- 20421 DMVCCM.org_archive
-rw-r--r-- 373 DMVCCM.org_archive.~1~
-rw-r--r-- 743 DMVCCM.org_archive.~2~
-rwxr-xr-x 4621 DMVCCM.org~20080525~
-rwxr-xr-x 4705 DMVCCM.org~20080527~
-rwxr-xr-x 6387 DMVCCM.org~20080528~
-rw-r--r-- 37337 DMVCCM.pdf
-rw-r--r-- 45451 outer_attachments.jpg
drwxr-xr-x - src
drwxr-xr-x - tex
drwxr-xr-x - txtdebug