| Mon, 03 Oct 2011 16:40:16 -0700 | Kevin Walker | Initial version of the new splitting axiom. | file | diff | annotate |
| Sun, 25 Sep 2011 22:31:22 -0600 | Kevin Walker | remove TOP; searched of "topological" and "PL" to find places where we mention TOP | file | diff | annotate |