/test/golden/

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