chiark / gitweb /
strategy: move traversal proofs inline
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2012 01:43:34 +0000 (02:43 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2012 01:47:17 +0000 (02:47 +0100)
commit6e7093d49c00150e48ebc264fb1a29de2004aeed
tree9b32474eaa6e9cb41d77e4a38beae8d2241d8252
parent67e27b1cb5487e79f47e828773fdd574b9da9712
strategy: move traversal proofs inline
article.tex
trav-alg.tex
trav-proofs.tex