@InCollection{Wenzel:II04,
  author =       "Markus Wenzel and Larry Paulson",
  title =        "{Isabelle/Isar}",
  pages =        "41--49",
  editor =       "Freek Wiedijk",
  booktitle =    "The Seventeen Provers of the World",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "3600",
  year =         "2006",
  ISBN =         "978-3-540-30704-4",
  ee =           "http://dx.doi.org/10.1007/11542384_8",
}