session Base_Sort_Tests = HOLCF +
  options [document = false]
  theories
    Base_Sort_Main
    Base_Sort_Annot
    Base_Sort_HOLCF
