changeset 18 | d826899bc424 |
parent 10 | 03c5f0393a2c |
--- a/ROOT Thu Apr 03 15:28:01 2014 +0100 +++ b/ROOT Fri Apr 04 13:15:07 2014 +0100 @@ -5,16 +5,17 @@ session "Hoare_tm" in "thys" = "Hoare_gen" + theories Hoare_tm + Hoare_tm2 session "Hoare_abc" in "thys" = "Hoare_tm" + theories Hoare_abc + Hoare_abc2 session "TM" in "thys" = Hoare_abc + theories My_block LetElim - AList StateMonad TM_Assemble