afp-mirror
/
UPF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
UPF/UPF/document
History
Achim D. Brucker ae982dface
afp-mirror/UPF/master This commit looks good Details
Import of official AFP entry for Isabelle 2019. 		2019-06-22 22:49:04 +01:00
..
auto Clarified file structure. Official AFP entry is now in directory UPF. 2017-01-07 00:05:52 +00:00
conclusion.tex Clarified file structure. Official AFP entry is now in directory UPF. 2017-01-07 00:05:52 +00:00
example-intro.tex Clarified file structure. Official AFP entry is now in directory UPF. 2017-01-07 00:05:52 +00:00
introduction.tex Clarified file structure. Official AFP entry is now in directory UPF. 2017-01-07 00:05:52 +00:00
root.bib Import of official AFP entry for Isabelle 2019. 2019-06-22 22:49:04 +01:00
root.tex Clarified file structure. Official AFP entry is now in directory UPF. 2017-01-07 00:05:52 +00:00