session mccarthy_vc_sp = NTP4Verif +
theories
  "mccarthy_vc_sp_McCarthy91_f91qtvc"
  "mccarthy_vc_sp_McCarthy91_f91_nonrecqtvc"
  "mccarthy_vc_sp_McCarthy91_f91_pseudorecqtvc"
  "mccarthy_vc_sp_McCarthy91Mach_f91qtvc"
  "mccarthy_vc_sp_McCarthy91Mach_f91_nonrecqtvc"
  "mccarthy_vc_sp_McCarthy91Mach_f91_pseudorecqtvc"
