Skip to content
GitLab
Explore
Sign in
Isabelle
export-paper
Repository
export-paper
HOL-disj.png
Find file
History
Permalink
updated screenshot to MMT/95f640611231
· 12decd87
Makarius Wenzel
authored
Nov 11, 2019
12decd87