move .tex files into the theory subdirectory
authorAaron Kaplan <aaron@lo-res.org>
Mon, 23 Dec 2013 19:31:15 +0000 (20:31 +0100)
committerAaron Kaplan <aaron@lo-res.org>
Mon, 23 Dec 2013 19:31:15 +0000 (20:31 +0100)
commit37d69edea18caa86b8b3be3c7b9b891015cefcd8
tree3d8820ce69f8b9b3ae179bd0cce3fab03734b6d2
parent5fe57fafb1f024685aa8a87fbaf3cccda726944c
move .tex files into the theory subdirectory
src/theory.tex