diff --git a/lfinlf.pdf b/lfinlf.pdf
new file mode 100644
index 0000000..4f075fc
Binary files /dev/null and b/lfinlf.pdf differ
diff --git a/src/README b/src/README
deleted file mode 100644
index 99a4a72..0000000
--- a/src/README
+++ /dev/null
@@ -1,7 +0,0 @@
-This comprises the working draft of LFinLF development, including soundness
-and completeness of translation to canonical forms, family-level lambdas,
-and constants.
-
-All code by Chris Martens
-
-Last updated 3/29/2011