/Master/texmf-dist/tex/latex/ebproof/
../
ebproof.sty