~ian / topbloke-formulae.git / commit
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 7 Jul 2012 23:40:14 +0000 (00:40 +0100) | ||
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 7 Jul 2012 23:40:14 +0000 (00:40 +0100) | ||
| commit | ad178f973fea2cc5483a55f6dc84599277cbf39b | |
| tree | 6c7efb42b299bcc5b26700e2f8ed73fe605b1728 | tree | snapshot |
| parent | bad4f62b80ab375d478d5ad59908dfb194b944e7 | commit | diff |
| trav-proofs.tex | diff | blob | history |