/tests/hol4/misc-paper/

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