added note about WithTop, WithBot, and friends
authorNorman Ramsey <nr@cs.tufts.edu>
Mon, 7 Jun 2010 17:42:47 +0000 (13:42 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Mon, 7 Jun 2010 17:42:47 +0000 (13:42 -0400)
commit7078bdeb1695f8e17e39f15d93aa95b80664e1b4
tree2415a33e34ddbee63bb21f6db844619d3941e775
parenta13ca0d607179dd0df42087cb504f342d58f00b1
added note about WithTop, WithBot, and friends
paper/dfopt.tex
paper/mkfile