/tests/hol4/paper/

• ../
• Holmakefile
• paperScript.sml
• paperTheory.sig