session ewd673 = NTP4Verif +
theories
  "ewd673_EWD673_sqtvc"
