contification paper: formatting

Matthew Fluet Matthew Fluet <fluet@CS.Cornell.EDU>
Tue, 13 Mar 2001 18:12:43 -0500 (EST)


I'm holding onto the token for analyses.tex.  What's the opinion on
formatting figures in different sizes?  I'd like to get them all the same,
but Acall and Acont seem a little tight, and look better in \small, but
then Adom looks a little too small.

I'm also adding in the equivalence sentence.