Tightened treatment of 'WithTop' a little.
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 10 Jun 2010 00:56:40 +0000 (20:56 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 10 Jun 2010 00:56:40 +0000 (20:56 -0400)
commit063227a4904ffcb7bec8d71287fc0e0b34a229ee
tree70f5564401b2e490d46b7744db3cb334c4633ab3
parentced3531e4860dbea5dbdbbf474888564e05219e4
Tightened treatment of 'WithTop' a little.
paper/dfopt.tex