fun load () =
   initload []
            ["dsBNF.elf",
             "cpsBNF.elf",
             "fig1.elf",
             "def1+5+fig4.elf",
             "th2.elf",
             "def3+6+fig5.elf",
             "th4.elf",
             "fig7.elf",
             "fig8.elf",
             "fig10.elf",
             "fig12.elf",
             "lemma7.elf",
             "th8.elf",
             "fig9.elf",
             "lemma9.elf",
             "th10.elf",
             "def13.elf",
             "lemma14.elf",
             "th15.elf",
             "def16.elf",
             "fig11.elf",
             "fig13.elf",
             "corr.elf",
             "lemma17.elf",
             "th18.elf"];


