session cursor_examples = NTP4Verif +
theories
  "cursor_examples_TestCursor_sumqtvc"
  "cursor_examples_ListCursorImplqtimpl_cursorqtvc"
  "cursor_examples_ListCursorImplqtimpl_snoc_Consqtvc"
  "cursor_examples_ListCursorImplqtimpl_nextqtvc"
  "cursor_examples_ListCursorImplqtimpl_has_nextqtvc"
  "cursor_examples_ListCursorImplqtimpl_createqtvc"
  "cursor_examples_ListCursorImplqtimpl_createqtrefnqtvc"
  "cursor_examples_ListCursorImplqtimpl_nextqtrefnqtvc"
  "cursor_examples_ListCursorImplqtimpl_has_nextqtrefnqtvc"
  "cursor_examples_TestListCursor_sum_of_listqtvc"
  "cursor_examples_ListCursorImpl"
  "cursor_examples_TestListCursor_list_sumqtvc"
  "cursor_examples_ArrayCursorImplqtimpl_cursorqtvc"
  "cursor_examples_ArrayCursorImplqtimpl_createqtvc"
  "cursor_examples_ArrayCursorImplqtimpl_has_nextqtvc"
  "cursor_examples_ArrayCursorImplqtimpl_nextqtvc"
  "cursor_examples_ArrayCursorImplqtimpl_createqtrefnqtvc"
  "cursor_examples_ArrayCursorImplqtimpl_nextqtrefnqtvc"
  "cursor_examples_ArrayCursorImplqtimpl_has_nextqtrefnqtvc"
  "cursor_examples_TestArrayCursor_array_sumqtvc"
  "cursor_examples_ArrayCursorImpl"
  "cursor_examples_TestArrayCursor_harness1qtvc"
