| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Wed, 7 Aug 2013 21:05:39 +0000 (22:05 +0100) | ||
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Wed, 7 Aug 2013 21:05:39 +0000 (22:05 +0100) | ||
| commit | 31bef480a11f8b286a359200a1034131525af6fb | |
| tree | bad1745f25e601db5c9e06bee1e530633a9373dd | tree | snapshot |
| parent | f58dec73ac7e656f88ff6e23f3e635c96286ae77 | commit | diff |
| invariants.tex | diff | blob | history |