@InProceedings{   Harrison2014HistoryOI,
  Author        = "Harrison, John and Urban, Josef and Wiedijk, Freek",
  BookTitle     = "Computational Logic",
  date-added    = "2018-10-22 09:42:02 +0000",
  date-modified = "2019-03-19 10:25:39 +0100",
  Keywords      = "readme",
  Title         = "History of Interactive Theorem Proving",
  Year          = "2014",
  File          = "History of Interactive Theorem Proving - joerg - a - a - f.pdf"
}

@InProceedings{ Harrison2014HistoryOI, Author = "Harrison, John and Urban, Josef and Wiedijk, Freek", BookTitle = "Computational Logic", date-added = "2018-10-22 09:42:02 +0000", date-modified = "2019-03-19 10:25:39 +0100", Keywords = "readme", Title = "History of Interactive Theorem Proving", Year = "2014", File = "History of Interactive Theorem Proving - joerg - a - a - f.pdf" }