diff -r 71e26f43c896 -r d74bfa11802c thys/Paper/document/root.bib
--- a/thys/Paper/document/root.bib	Sun Mar 06 20:00:47 2016 +0000
+++ b/thys/Paper/document/root.bib	Mon Mar 07 03:23:28 2016 +0000
@@ -1,3 +1,4 @@
+
 @inproceedings{Sulzmann2014,
   author    = {M.~Sulzmann and K.~Lu},
   title     = {{POSIX} {R}egular {E}xpression {P}arsing with {D}erivatives},