cut the paragraph on unique representation
authorNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 02:44:39 +0000 (22:44 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Tue, 27 Jul 2010 02:44:39 +0000 (22:44 -0400)
paper/dfopt.tex

index 568af11..778f547 100644 (file)
@@ -1096,6 +1096,7 @@ them
 with @BCat@ to produce a closed/closed block~@b@, which is
 added to the body of the result.
 
+\ifnotcutting
 We~have carefully crafted the types so that if @BCat@ 
 is considered as an associative operator, 
 every graph has a unique representation.