Page 2 edits: tightening, typesetting cleanup.
authorNorman Ramsey <nr@cs.tufts.edu>
Fri, 23 Jul 2010 23:50:31 +0000 (19:50 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Fri, 23 Jul 2010 23:50:31 +0000 (19:50 -0400)
commit287153becb62b626224c74e3515a02c9f2dc6b2d
treef14f49984fdaeaa225a858de0e2212e3059845cc
parentf8bc16fe0e62990a75a4f1716e6c6ec525902871
Page 2 edits: tightening, typesetting cleanup.
paper/dfopt.tex