session preorder = NTP4Verif +
theories
  "preorder_Full_Refl"
  "preorder_Full_Trans"
  "preorder_Full_Symm"
  "preorder_Full_Trans1"
  "preorder_Full_Asymm"
  "preorder_TotalFull_Total"
  "preorder_TotalFull_lt_def2qtvc"
