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
9 session "Hoare_abc" in "thys" = "Hoare_tm" +
10 theories
11 Hoare_abc