From 843f75943d25f4e180493142b6da0968621b9a78 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Mon, 9 Mar 2015 13:50:20 -0400
Subject: Big reorganisation of the repo

---
 old_work/formalisation.pdf | Bin 0 -> 312600 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 old_work/formalisation.pdf

(limited to 'old_work/formalisation.pdf')

diff --git a/old_work/formalisation.pdf b/old_work/formalisation.pdf
new file mode 100644
index 0000000..760abe0
Binary files /dev/null and b/old_work/formalisation.pdf differ
-- 
cgit v1.2.3-70-g09d2