author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
Fri, 27 Apr 2012 11:51:52 +0000 (12:51 +0100) | ||
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
Fri, 27 Apr 2012 11:51:52 +0000 (12:51 +0100) | ||
commit | d95cd22b31c6d38e4dd4b3132300dd3ad8df0f1a | |
tree | 1091dab44b9900a199a3413b21e2f7b328fbc205 | tree | snapshot |
parent | edd89d19f03e82b54c2999319ac48fe20173ff6e | commit | diff |
invariants.tex | diff | blob | history |