Tweaks to the introduction.
authorJoey Capper <jjc@cs.nott.ac.uk>
Thu, 14 Oct 2010 13:59:54 +0000 (14:59 +0100)
committerJoey Capper <jjc@cs.nott.ac.uk>
Thu, 14 Oct 2010 13:59:54 +0000 (14:59 +0100)
commitc0746561a108f14a7124de8f0772dddfd8896e7a
tree1f0521097296224f1881bd6bf560f9e684e3dec4
parent5963a27cd51fa96e05c81144de35ef352ed61876
Tweaks to the introduction.
introduction.tex