session my_cosine = NTP4Verif +
theories
  "my_cosine_M_my_cosineqtvc"
