@misc{indiciae6ece3e59f795,
  title = {From LCF to Isabelle/HOL},
  author = {Lawrence C. Paulson and Tobias Nipkow and Makarius Wenzel},
  year = {2019},
  doi = {10.1007/s00165-019-00492-1},
  url = {https://arxiv.org/abs/1907.02836},
  note = {Source identifier: 1907.02836}
}