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 |