Thu, 27 May 2010 14:15:19 -0700 removing 'explicit' families of diffeos partial proof
Scott Morrison <scott@tqft.net> [Thu, 27 May 2010 14:15:19 -0700] rev 281
removing 'explicit' families of diffeos partial proof
(0) -100 -30 -10 -1 +1 +10 +30 +100 +300 tip