Top File of PVS interval_arith Library

 
%% top.pvs
%% Author: Cesar Munoz, Anthony Narkawicz
%% Interval Arithmetic 

top : THEORY
BEGIN

  IMPORTING interval,
            proper_arith,
            safe_arith,
            IntervalExpr,
            box,
            interval_expr,
            interval_bexpr,
            simple_bandb,
            numerical_bandb,
            interval_bandb,
            interval_bolzano,
            interval_sqrt,
            interval_trig,
	    interval_lnexp,
	    interval_deriv,
            subinterval_deriv,
            interval_chain,
	    interval_taylor,
            interval_io,
            interval_expr_sqrt,
            interval_expr_trig,
            interval_expr_lnexp,
            strategies4Q,
            examples4Q,
            strategies,
            examples,
            top_allen 

END top

The tag identifies links that are outside the NASA domain