session pairing_heap = NTP4Verif +
theories
  "pairing_heap_Heap_emptyqtvc"
  "pairing_heap_Size_size_nonnegqtvc"
  "pairing_heap_HeapType"
  "pairing_heap_Size_size_tree_nonnegqtvc"
  "pairing_heap_Size_size_list_nonnegqtvc"
  "pairing_heap_Size_size_emptyqtvc"
  "pairing_heap_Occ_occ_nonnegqtvc"
  "pairing_heap_Occ_occ_tree_nonnegqtvc"
  "pairing_heap_Occ_occ_list_nonnegqtvc"
  "pairing_heap_PairingHeap_le_root_transqtvc"
  "pairing_heap_Size"
  "pairing_heap_Occ"
  "pairing_heap_PairingHeap_le_roots_transqtvc"
  "pairing_heap_PairingHeap_heapqtvc"
  "pairing_heap_PairingHeap_heap_memqtvc"
  "pairing_heap_PairingHeap_heap_mem_treeqtvc"
  "pairing_heap_PairingHeap_heap_mem_listqtvc"
  "pairing_heap_PairingHeap_root_is_minimumqtvc"
  "pairing_heap_PairingHeap_emptyqtvc"
  "pairing_heap_PairingHeap_is_emptyqtvc"
  "pairing_heap_PairingHeap_mergeqtvc"
  "pairing_heap_PairingHeap_insertqtvc"
  "pairing_heap_PairingHeap_find_minqtvc"
  "pairing_heap_PairingHeap_merge_pairsqtvc"
  "pairing_heap_PairingHeap_delete_minqtvc"
  "pairing_heap_Correct_Refl"
  "pairing_heap_PairingHeap"
  "pairing_heap_Correct_Trans"
  "pairing_heap_Correct_Total"
  "pairing_heap_Correct_min_def"
  "pairing_heap_Correct_emptyqtrefnqtvc"
  "pairing_heap_Correct_is_emptyqtrefnqtvc"
  "pairing_heap_Correct_mergeqtrefnqtvc"
  "pairing_heap_Correct_insertqtrefnqtvc"
  "pairing_heap_Correct_find_minqtrefnqtvc"
  "pairing_heap_Correct_delete_minqtrefnqtvc"
