1 session "Hoare_gen" = "HOL" +

     2   options [document = pdf]

     3   theories [document = false]

     4      Hoare_gen

     5 

     6 session "Hoare_tm_basis" = "Hoare_gen" +

     7   options [document = pdf]

     8   theories [document = false, document_output = "output_tm", document_variants = "hoare_tm"]

     9      Hoare_tm_basis

    10   files

    11     "document/root_tm.tex"

    12 

    13 session "Hoare_tm" = "Hoare_tm_basis" +

    14   options [document = pdf]

    15   theories [document = false, document_output = "output_tm", document_variants = "hoare_tm"]

    16      Hoare_tm

    17   files

    18     "document/root_tm.tex"

    19 

    20 session "Hoare_abc" = "Hoare_tm" +

    21   options [document = pdf]

    22   theories [document = false, document_output = "./output_abc"]

    23      Hoare_abc

    24