session Functions = NTP4Verif +
theories
  "Functions_Func_update_eqqtvc"
  "Functions_Func_update_neqqtvc"
  "Functions_Func_compose_associativeqtvc"
  "Functions_Func_identity_neutralqtvc"
  "Functions_Func_const_compose_leftqtvc"
  "Functions_Func_const_compose_rightqtvc"
