1 session "Hoare_gen" in "thys" = "HOL" +

     2   theories 

     3      Hoare_gen

     4 

     5 session "Hoare_tm" in "thys" = "Hoare_gen" +

     6   theories 

     7      Hoare_tm

     8      Hoare_tm2

     9 

    10 session "Hoare_abc" in "thys" = "Hoare_tm" +

    11   theories

    12      Hoare_abc

    13      Hoare_abc2

    14 

    15 session "TM" in "thys" = Hoare_abc +

    16   theories 

    17     My_block

    18     LetElim

    19     StateMonad

    20     TM_Assemble

    21 

    22 session "Paper" in "paper" = TM +

    23   options [document = pdf, document_output = "..", document_variants = "journal"]

    24   theories

    25     Paper

    26   files "document/root.tex"