text/a_inf_blob.tex
Tue, 05 Jul 2011 13:28:02 -0600 Kevin Walker fixing proof of 7.1.1 (product thm)
Wed, 29 Jun 2011 22:28:56 -0700 Scott Morrison changing example for no common refinement
Wed, 29 Jun 2011 16:21:11 -0700 Scott Morrison typos
Wed, 29 Jun 2011 11:51:35 -0700 Scott Morrison using consistent names for field in \S 7
less more (0) -30 -10 -4 tip