session WP_revisited = NTP4Verif +
theories
  "blocking_semantics5_Syntax"
  "blocking_semantics5_SemOp"
  "wp2_Imp"
  "blocking_semantics5_Typing"
  "blocking_semantics5_FreshVariables"
  "wp2_HoareLogic"
  "blocking_semantics5_TypingAndSemantics"
