1 files changed, 0 insertions, 20 deletions
diff --git a/doc/reference/examples.bib b/doc/reference/examples.bib
deleted file mode 100644
index a0bbd57115..0000000000
--- a/doc/reference/examples.bib
+++ /dev/null
@@ -1,20 +0,0 @@
-
-@Book{		  abelson-sussman:structure,
-  author	= {Harold Abelson and Gerald Jay Sussman and Julie Sussman},
-  title		= {The Structure and Interpretation of Computer Programs, 2nd
-		  edition},
-  year		= {1996},
-  publisher	= {MIT Press},
-  address	= {Cambridge, Massachusetts}
-}
-
-@InProceedings{	  odersky-et-al:fool10,
-  author	= {Martin Odersky and Vincent Cremet and Christine R\"ockl
-		  and Matthias Zenger},
-  title		= {A Nominal Theory of Objects with Dependent Types},
-  booktitle	= {Proc. FOOL 10},
-  year		= 2003,
-  month		= jan,
-  note		= {\verb@http://www.cis.upenn.edu/~bcpierce/FOOL/FOOL10.html@}
-		  
-}