Mon, 04 Jul 2011 10:25:42 -0600 | Kevin Walker | added splittability axiom for fields | file | diff | annotate |
Wed, 29 Jun 2011 12:37:55 -0700 | Scott Morrison | fixing a weird numbering issue in \S 2, caused by switching to X.Y.Z numbering scheme | file | diff | annotate |