17 Commits (master)
 

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