chiark / gitweb /
traversal: Base/Tip Correct Contents chane notation
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 23:27:00 +0000 (00:27 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 7 Jul 2012 23:27:00 +0000 (00:27 +0100)
commit0ef6782afa245b0744d82dc7ff2d5a34a1fe2dc1
treee0818ae87af0804ea1f7d4dea99cc9aa65ab4bf4
parentd5836b17ce78e4f79f38325cdb1ce20f29c881ca
traversal: Base/Tip Correct Contents chane notation
trav-alg.tex
trav-proofs.tex