ROOT
changeset 7 192672a6fff4
parent 6 38cef5407d82
child 10 03c5f0393a2c
equal deleted inserted replaced
6:38cef5407d82 7:192672a6fff4
    10   theories
    10   theories
    11      Hoare_abc
    11      Hoare_abc
    12 
    12 
    13 session "TM" in "thys" = Hoare_abc +
    13 session "TM" in "thys" = Hoare_abc +
    14   theories 
    14   theories 
       
    15     My_block
       
    16     LetElim
       
    17     AList
       
    18     StateMonad
    15     TM_Assemble
    19     TM_Assemble