1 session Separation_Algebra (AFP) = "HOL-Word" +

     2   options [timeout = 3600]

     3   theories

     4     "ex/Simple_Separation_Example"

     5     "ex/Sep_Tactics_Test"

     6     "ex/VM_Example"

     7     Sep_Eq

     8     "ex/capDL/Separation_D"

     9   files

    10     "document/root.bib"

    11     "document/root.tex"