/tests/hol4/misc-external/

• ../
• Holmakefile
• external_FunsScript.sml
• external_FunsTheory.sig
• external_OpaqueScript.sml
• external_OpaqueTheory.sig
• external_TypesScript.sml
• external_TypesTheory.sig