Tided sections 5, 6, and 7
authorNorman Ramsey <nr@cs.tufts.edu>
Sat, 24 Jul 2010 01:20:41 +0000 (21:20 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Sat, 24 Jul 2010 01:20:41 +0000 (21:20 -0400)
commitccd5146a0b767e1c3f52c7759b1405ae266b5b23
tree6bfb6be498d98caac042be35f924b275c7186c1d
parent8303be70a5c9364ad068658dc582ce9317ae1cf9
Tided sections 5, 6, and 7
paper/dfopt.tex