@InProceedings{Berghofer:MKM2008-355,
  author =       "Stefan Berghofer and Makarius Wenzel",
  title =        "Logic-Free reasoning in {Isabelle/Isar}",
  pages =        "355--369",
  booktitle =    "Mathematical Knowledge Management (MKM 2008)",
  address =      "Birmingham, UK",
  month =        jul,
  year =         "2008",
  series =       "Lecture Notes in Computer Science",
  volume =       "5144",
  publisher =    "Springer",
  URL =          "http://www4.in.tum.de/~wenzelm/papers/isar-reasoning.pdf",
  ee =           "http://dx.doi.org/10.1007/978-3-540-85110-3_31",
}