%------------------------------------------------------------------------
% 
%  Elementary functions over arrays and sequences
%  ----------------------------------------------
% 
%  Includes:
%
%     min_array         -- defines min function over an array
%     max_array         -- defines max function over an array 
%     sort_array        -- defines a sort function over arrays
%     sort_array_lems   -- relationship between sort and min and max
%     majority_array    -- defines majority function over an array 
%     majority_seq      -- defines majority function over finite sequences
%     min_seq           -- defines min function over a sequence
%     max_seq           -- defines max function over an sequence 
%     sort_seq          -- defines a sort function over sequences
%     sort_seq_lems     -- relationship between sort and min and max
%     concat_array_lems -- concatenation of arrays
%     permutations      -- permutations of arrays
%     permutations_seq  -- permutations of sequences
%
%  Author:
%
%     Ricky W. Butler                   email: R.W.Butler@larc.nasa.gov
%     Mail Stop 130                     fax:   (804) 864-4234
%     NASA Langley Research Center      phone: (804) 864-6198
%     Hampton, Virginia 23681-0001
%
%  Version 2.0               Last modified 9/23/96
%
%  Maintained by:
%
%     Rick Butler            NASA Langley Research Center   
%                            R.W.Butler@larc.nasa.gov
%------------------------------------------------------------------------
top: THEORY
BEGIN

  IMPORTING  min_array,
             max_array,
             permutations,
             sort_array,
             sort_array_lems,
             array_ops,
             majority_array,
             majority_seq,
             max_seq,
             min_seq,
             permutations_seq,
             sort_seq
%             sort_seq_lems                % COMMENTED OUT TILL PVS BUG FIXED

END top