Corrected a handful of errors and made a couple dozen irresistible changes.
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 29 Jul 2010 23:40:59 +0000 (19:40 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 29 Jul 2010 23:40:59 +0000 (19:40 -0400)
commitffef51582c7eb8016cd27c0afb2dc8373be3f4f9
treed7f40882cfc5fa569d7ace27478477f541c73ba9
parent25fdabd7a42ad9cadca75970f7ac6dcb02bc7627
Corrected a handful of errors and made a couple dozen irresistible changes.
paper/dfopt.tex
testing/ConstProp.hs