Quelle  strategies.pvs  Sprache: unbekannt

strategies : THEORY
BEGIN

  IMPORTING structures@Unit,
            strat_util

  %% This constant is used by the strategies to check if all the required theories 
  %% have been imported in the current context

  BernsteinStrategy__ : Unit 

END strategies