Quelle  strategies4Q.pvs

% Interval strategies for rational expressions

strategies4Q : THEORY
BEGIN

  IMPORTING simple_bandb,
            numerical_bandb,
            interval_bandb,
            interval_io,
     interval_expr_sqrt,
      reals@abs_lems

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

  IntervalStrategies4Q__ : Unit

END strategies4Q