20 Commits (master)
 

Author SHA1 Message Date
  Achim D. Brucker f04c93ce06 Added installation instructions. 11 months ago
  Achim D. Brucker 5a35bc7ca0 Migration to Isabelle 2020. 11 months ago
  Achim D. Brucker ae982dface Import of official AFP entry for Isabelle 2019. 1 year ago
  Achim D. Brucker 90520c07fe Renamed session to avoid conflict with activated AFP. 2 years ago
  Achim D. Brucker 0e44f9d23d Initial commit. 2 years ago
  Achim D. Brucker 270d675500 Import of official AFP entry for Isabelle 2018. 2 years ago
  Achim D. Brucker 2766cec66c Fixed markdown. 2 years ago
  Achim D. Brucker 07f8d47edc Added master repository URL. 2 years ago
  Achim D. Brucker ccc6ea8841 Added SPDX License Identifier. 2 years ago
  Achim D. Brucker a2d9cc26e4 Fixed markdown. 2 years ago
  Achim D. Brucker f6ae1d216e Import of current (Isabelle 2017) release of UPF. 3 years ago
  Achim D. Brucker 0108e7575b Removed references to system generated names. 4 years ago
  Achim D. Brucker 23edf34523 Updated indentation. 4 years ago
  Achim D. Brucker d28d814621 Added publications. 4 years ago
  Achim D. Brucker dbe48c1ef6 Clarified file structure. Official AFP entry is now in directory UPF. 4 years ago
  Achim D. Brucker 635bc0f990 Import of current (Isabelle 2016-1) release of UPF. 4 years ago
  Achim D. Brucker 243939c32e Import of current (Isabelle 2016) release of UPF. 4 years ago
  Achim D. Brucker 9686a2dee3 Import of UPF release afp-UPF-2015-05-27 (Isabelle 2015). 4 years ago
  Achim D. Brucker 38468e46bb Import of UPF release afp-UPF-2014-11-30 (Isabelle 2014). 4 years ago
  Achim D. Brucker 1fb8d8ad7d Initial commit. 4 years ago