session mpz_cmpabs = NTP4Verif +
theories
  "mpz_cmpabs_Zcmpabs_abs_valueqtvc"
  "mpz_cmpabs_Zcmpabs_wmpz_cmpabsqtvc"
  "mpz_cmpabs_Zcmpabs_wmpz_cmpabs_uiqtvc"
