diff --git a/document/Klein-Namjoshi2011_Chapter_FormalizationAndAutomatedVerif.pdf b/document/Klein-Namjoshi2011_Chapter_FormalizationAndAutomatedVerif.pdf
deleted file mode 100644
index ad7293b..0000000
--- a/document/Klein-Namjoshi2011_Chapter_FormalizationAndAutomatedVerif.pdf
+++ /dev/null
Binary files differ