session ral = NTP4Verif +
theories
  "ral_RAL_balancingqtvc"
  "ral_RAL_assoc"
  "ral_RAL_neutral"
  "ral_RAL_assoc1"
  "ral_RAL_neutral1"
  "ral_RAL_zeroqtvc"
  "ral_RAL_opqtvc"
  "ral_RAL_agg_measure_is_lengthqtvc"
  "ral_RAL_selected_partqtvc"
  "ral_RAL_assoc2"
  "ral_RAL_neutral2"
  "ral_RAL_zeroqtrefnqtvc"
  "ral_RAL_opqtrefnqtvc"
  "ral_RAL_agg_empty"
  "ral_RAL_agg_sing"
  "ral_RAL_agg_cat"
  "ral_RAL_balancingqtrefnqtvc"
  "ral_RAL_selection_empty"
  "ral_RAL_selected_partqtrefnqtvc"
  "ral_RAL_emptyqtvc"
  "ral_RAL_singletonqtvc"
  "ral_RAL_is_emptyqtvc"
  "ral_RAL_decompose_frontqtvc"
  "ral_RAL_decompose_backqtvc"
  "ral_RAL_frontqtvc"
  "ral_RAL_backqtvc"
  "ral_RAL_consqtvc"
  "ral_RAL_snocqtvc"
  "ral_RAL_concatqtvc"
  "ral_RAL_lengthqtvc"
  "ral_RAL_setqtvc"
  "ral_RAL_getqtvc"
  "ral_RAL_insertqtvc"
  "ral_RAL_removeqtvc"
  "ral_RAL_cutqtvc"
  "ral_RAL_splitqtvc"
  "ral_RAL_harnessqtvc"
  "ral_RAL_harness2qtvc"
