17 Commits (master)
 

Author SHA1 Message Date
  Achim D. Brucker 90520c07fe Renamed session to avoid conflict with activated AFP. 3 months ago
  Achim D. Brucker 0e44f9d23d Initial commit. 3 months ago
  Achim D. Brucker 270d675500 Import of official AFP entry for Isabelle 2018. 3 months ago
  Achim D. Brucker 2766cec66c Fixed markdown. 9 months ago
  Achim D. Brucker 07f8d47edc Added master repository URL. 9 months ago
  Achim D. Brucker ccc6ea8841 Added SPDX License Identifier. 9 months ago
  Achim D. Brucker a2d9cc26e4 Fixed markdown. 9 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