From 1bd9da9fc37dc4f659a261ff65914feef1ef64f0 Mon Sep 17 00:00:00 2001
From: Thibaut Horel <thibaut.horel@gmail.com>
Date: Tue, 2 Jul 2013 16:01:49 +0200
Subject: Rewrite the hand-wavy induction

---
 proofs.tex | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 delete mode 100644 proofs.tex

(limited to 'proofs.tex')

diff --git a/proofs.tex b/proofs.tex
deleted file mode 100644
index e69de29..0000000
-- 
cgit v1.2.3-70-g09d2