Wed, 23 Mar 2011 15:29:31 -0700 | Kevin Walker | added two more transverse symbols | file | diff | annotate |
Sun, 20 Mar 2011 06:26:04 -0700 | Kevin Walker | small fix for def of bordism category definitions; perhaps more should be done | file | diff | annotate |