@InProceedings{Wenzel:TPHOLs2007-352,
  author =       "Makarius Wenzel and Burkhart Wolff",
  title =        "Building Formal Method Tools in the {Isabelle/Isar}
                 Framework",
  booktitle =    "Theorem Proving in Higher Order Logics (TPHOLs 2007)",
  address =      "Kaiserslautern, Germany",
  editor =       "Klaus Schneider and Jens Brandt",
  series =       "Lecture Notes in Computer Science",
  volume =       "4732",
  year =         "2007",
  pages =        "352--267",
  publisher =    "Springer",
  ee =           "http://dx.doi.org/10.1007/978-3-540-74591-4_26",
  URL =          "http://www4.in.tum.de/~wenzelm/papers/isar-tool-framework.pdf",
}