Little bit more of the proof.master
treea18906f24edff3827f3c32a4ef44f09adf63b74d
drwxr-xr-x - 432
drwxr-xr-x - 434
drwxr-xr-x - 437
drwxr-xr-x - 483
drwxr-xr-x - _semester_one
-rw-r--r-- 28029 dcpic.sty
-rw-r--r-- 105958 diagrams.sty
-rw-r--r-- 518 template.tex
-rw-r--r-- 2559 yomcat.sty