From b6d9207a03a8babea55b1e97493633c36744dd72 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Sun, 23 Nov 2014 03:21:53 -0500
Subject: Add introduction with high level remarks about the approach

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

(limited to 'notes/formalisation.pdf')

diff --git a/notes/formalisation.pdf b/notes/formalisation.pdf
index 02e0a47..75d5480 100644
Binary files a/notes/formalisation.pdf and b/notes/formalisation.pdf differ
-- 
cgit v1.2.3-70-g09d2