diff -r 7f3760f39bdc -r f8845fc8f38d src/Doc/isac/mlehnfeld/bib.bib
--- a/src/Doc/isac/mlehnfeld/bib.bib	Mon Sep 16 12:27:20 2013 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,26 +0,0 @@
-@Book{Nipkow-Paulson-Wenzel:2002,
-  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
-  title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
-  publisher	= {Springer},
-  series	= {LNCS},
-  volume	= 2283,
-  year		= 2002}
-
-@Article{plmms10,
-  author = 	 {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
-  title = 	 {{CTP}-based programming languages~? Considerations about an experimental design},
-  journal = 	 {ACM Communications in Computer Algebra},
-  year = 	 {2010},
-  volume = 	 {44},
-  number = 	 {1/2},
-  pages = 	 {27-41},
-  doi =          {10.1145/1838599.1838621}
-}
-
-@Manual{isar-impl,
-  title = 	 {The {Isabelle/Isar} Implementation},
-  author = 	 {Makarius Wenzel},
-  month = 	 {30 January},
-  year = 	 {2011},
-  note = 	 {With contributions by Florian Haftmann and Larry Paulson}
-}