]> git.rustad.me Git - master/commit
new line family thing proof
authorBjørn Rustad <bjorn@rustad.me>
Mon, 1 Dec 2014 10:15:04 +0000 (11:15 +0100)
committerBjørn Rustad <bjorn@rustad.me>
Mon, 1 Dec 2014 10:15:04 +0000 (11:15 +0100)
commit590a50fed4e4b379e866e9bd9e0e016591205a56
tree4a40a4d0b977d1368e409cfc34887dc9bce2f83c
parent8ff1869027416edb54c11018ef2c1607180b885c
new line family thing proof
theory.tex