session list_copy_Why3_ide = NTP4Verif +
theories
  "list_copy_Why3_ide_VClist_copy_post_goal0"
  "list_copy_Why3_ide_VClist_copy_post_2_goal1"
  "list_copy_Why3_ide_VClist_copy_assert_rte_mem_access_goal2"
