Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Gaps in the constructible universe. | David A. Madore | 2013-01-31 | 1 | -11/+87 |
* | Various stuff around stability. | David A. Madore | 2013-01-31 | 1 | -24/+125 |
* | More cross-references. | David A. Madore | 2013-01-31 | 1 | -33/+37 |
* | Start writing down a zoo of ordinals. | David A. Madore | 2013-01-30 | 1 | -0/+324 |