]> git.rustad.me Git - master/commit
More scribblin
authorBjørn Rustad <bjorn@rustad.me>
Thu, 18 Sep 2014 12:37:01 +0000 (14:37 +0200)
committerBjørn Rustad <bjorn@rustad.me>
Thu, 18 Sep 2014 12:37:01 +0000 (14:37 +0200)
commit7d300ebadec80964f9095b376e4aa376f6eab718
treec9eef1e8d765c0e8610aeca5c2b63eb7cd9e34ba
parentc477e3c080b6ac29f21c7e88aa2b92e93ff34e48
More scribblin
theory.tex