5 Commits

Author	SHA1	Message	Date
Andy Waddington on washburn	096727b9bd	Just keep typing... breaking off to think about going up the hill ... Andy W	2015-08-03 07:04:02 +01:00
Andy Waddington on washburn	b71e5d0204	A few more pages. ... Andy W	2015-08-03 06:02:56 +01:00
expo computer	6eeab0237d	Up to page 11. All still needs independent proof checking. ... Andy	2015-08-02 22:49:21 +02:00
expo computer	431f659554	First seven pages. Needs an independent proofchecker next. ... Andy W	2015-08-02 21:10:40 +02:00
expo computer	21788a7f1e	Just a few typos fixed to check the process before adding whole writes-up ... Andy W	2015-08-02 19:22:20 +02:00