Isabelle

@inproceedings{Paulson1994Isabelle,
  title={Isabelle},
  author={Lawrence C. Paulson},
  booktitle={Lecture Notes in Computer Science},
  year={1994}
}