| 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 |
| Tue, 15 Mar 2011 17:22:44 -0700 | Kevin Walker | explain why we dont require gluing to be surjective | file | diff | annotate |