From 0f3c28b41f47326fac78897d770eabf64ceb6c98 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Sun, 23 Nov 2014 11:19:17 -0500
Subject: Fix typos

---
 notes/formalisation.pdf | Bin 194405 -> 197923 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

(limited to 'notes/formalisation.pdf')

diff --git a/notes/formalisation.pdf b/notes/formalisation.pdf
index 2bdcb11..2d64bb0 100644
Binary files a/notes/formalisation.pdf and b/notes/formalisation.pdf differ
-- 
cgit v1.2.3-70-g09d2