4 commits

Author	SHA1	Message	Date
Joshua Moerman	10f1470f2e	Adds details to the Kreck proof	2014-12-12 12:22:50 +01:00
Joshua Moerman	101c0d063d	Fixes typos and todos	2014-11-03 16:56:59 +01:00
Joshua Moerman	b2531d3f2b	Converts more images to diagrams	2014-10-27 17:38:23 +01:00
Joshua Moerman	b784784eae	Adds xymatrix diagrams	2014-10-27 13:08:39 +01:00