1 files changed, 0 insertions, 12 deletions
diff --git a/contrib/ML4PG/doc/src/ml4pg_manual.bib b/contrib/ML4PG/doc/src/ml4pg_manual.bib
deleted file mode 100644
index 07dcb4ba..00000000
--- a/contrib/ML4PG/doc/src/ml4pg_manual.bib
+++ /dev/null
@@ -1,12 +0,0 @@
-@Article{KHG12,
- author = {E. Komendantskaya and J. Heras and G. Grov},
- title = {Machine Learning in Proof General: interfacing interfaces},
-  year = {2012},
-}
-
-
-@Article{HK13,
- author = {J. Heras and E. Komendantskaya},
- title = {ML4PG Case studies},
-  year = {2013},
-}
-\ No newline at end of file