/test/examples/

• ../
• abbr.tex
• byRef.tex
• calc.tex
• coord.tex
• finite-set-terms.tex
• formula.tex
• geometry.tex
• indefinite-terms.tex
• inductive.tex
• no-reflexive-set.tex
• proofassume.tex
• proofdefinefunction.tex
• prooffix.tex
• relation-notation.tex
• replace.tex
• russell.tex
• separation.tex
• signature.tex
• union.tex