session fact_vc_sp = NTP4Verif +
theories
  "fact_vc_sp_FactRecursive_fact_recqtvc"
  "fact_vc_sp_FactRecursive_test0qtvc"
  "fact_vc_sp_FactRecursive_test1qtvc"
  "fact_vc_sp_FactRecursive_test7qtvc"
  "fact_vc_sp_FactRecursive_test42qtvc"
  "fact_vc_sp_FactImperative_fact_impqtvc"
  "fact_vc_sp_FactImperative_test0qtvc"
  "fact_vc_sp_FactImperative_test1qtvc"
  "fact_vc_sp_FactImperative_test7qtvc"
  "fact_vc_sp_FactImperative_test42qtvc"
