session binomial_heap = NTP4Verif +
theories
  "binomial_heap_BinomialHeap_size_nonnnegqtvc"
  "binomial_heap_BinomialHeap_le_roots_transqtvc"
  "binomial_heap_BinomialHeap_heaps_appendqtvc"
  "binomial_heap_BinomialHeap_heaps_reverseqtvc"
  "binomial_heap_BinomialHeap_occ_nonnegqtvc"
  "binomial_heap_BinomialHeap_occ_appendqtvc"
  "binomial_heap_BinomialHeap_occ_reverseqtvc"
  "binomial_heap_BinomialHeap_heaps_memqtvc"
  "binomial_heap_BinomialHeap_has_order_lengthqtvc"
  "binomial_heap_BinomialHeap_inv_transqtvc"
  "binomial_heap_BinomialHeap_inv_reverseqtvc"
  "binomial_heap_BinomialHeap_emptyqtvc"
  "binomial_heap_BinomialHeap_is_emptyqtvc"
  "binomial_heap_BinomialHeap_get_minqtvc"
  "binomial_heap_BinomialHeap_add_treeqtvc"
  "binomial_heap_BinomialHeap_addqtvc"
  "binomial_heap_BinomialHeap_mergeqtvc"
  "binomial_heap_BinomialHeap_extract_min_treeqtvc"
  "binomial_heap_BinomialHeap_extract_minqtvc"
  "binomial_heap_BinomialHeap_has_order_sizeqtvc"
  "binomial_heap_BinomialHeap_binomial_tree_sizeqtvc"
  "binomial_heap_BinomialHeap_inv_sizeqtvc"
  "binomial_heap_BinomialHeap_heap_sizeqtvc"
