Theory Sep_Main

theory Sep_Main
  imports
    "SepLogicTime_RBTreeBasic.SepAuto" 
  SepLog_Automatic
begin

end