~ian / topbloke-formulae.git / commit
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Fri, 16 Mar 2012 23:14:18 +0000 (23:14 +0000) | ||
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Fri, 16 Mar 2012 23:14:18 +0000 (23:14 +0000) | ||
| commit | 3b81991eea75c33566f4948506277ef61b058d1c | |
| tree | c218fac72834b8b810e8c9a62956c64c36013357 | tree | snapshot |
| parent | a8c0dda901340bdd4fb4ca3464f0572c0cab3bd4 | commit | diff |
| invariants.tex | diff | blob | history | |
| lemmas.tex | diff | blob | history |