20 Commits (master)
 

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