1.1 --- a/src/Doc/isac/mlehnfeld/bib.bib	Mon Sep 16 12:27:20 2013 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,26 +0,0 @@
     1.4 -@Book{Nipkow-Paulson-Wenzel:2002,
     1.5 -  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
     1.6 -  title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
     1.7 -  publisher	= {Springer},
     1.8 -  series	= {LNCS},
     1.9 -  volume	= 2283,
    1.10 -  year		= 2002}
    1.11 -
    1.12 -@Article{plmms10,
    1.13 -  author = 	 {Florian Haftmann and Cezary Kaliszyk and Walther Neuper},
    1.14 -  title = 	 {{CTP}-based programming languages~? Considerations about an experimental design},
    1.15 -  journal = 	 {ACM Communications in Computer Algebra},
    1.16 -  year = 	 {2010},
    1.17 -  volume = 	 {44},
    1.18 -  number = 	 {1/2},
    1.19 -  pages = 	 {27-41},
    1.20 -  doi =          {10.1145/1838599.1838621}
    1.21 -}
    1.22 -
    1.23 -@Manual{isar-impl,
    1.24 -  title = 	 {The {Isabelle/Isar} Implementation},
    1.25 -  author = 	 {Makarius Wenzel},
    1.26 -  month = 	 {30 January},
    1.27 -  year = 	 {2011},
    1.28 -  note = 	 {With contributions by Florian Haftmann and Larry Paulson}
    1.29 -}