MT/main.thm

4 lines
150 B
Plaintext

\contentsline {hyp}{{Hypothesis}{1}{}}{5}{hyp.1}%
\contentsline {hyp}{{Hypothesis}{2}{}}{5}{hyp.2}%
\contentsline {hyp}{{Hypothesis}{3}{}}{6}{hyp.3}%