/*	mypres.
 Press loading file 	Updated 27.2.81		*/

:- compile([

'extras:words',		% Richards Wordsin
'arith:long',		% Richards rational package + trig stuff
'arith:tidy',		% Lawrences tidy routine
'extras:gportr'		% General portray (interim?)

 ]).



:- [
'press:init.mec',       % Initialisations
'press:solve',          % Solve clauses
'press:isolat',         % Isolation clauses
'press:isolat.ax',      % Isolation axioms
'press:ineqis.ax',      % Inequality Isolation axioms
'press:collec',         % Collection clauses
'press:collec.ax',      % Collection axioms
'press:attrac',         % Attraction clauses
'press:attrac.ax',      % Attraction axioms
'press:chunk',          % Change of unknown clauses
'press:homog',          % Homogenisation code
'press:nasty',          % Nasty function clauses
'press:simeq',          % Simultaneous equations clauses
'press:ineq',           % Inequality clauses (?)
'press:misc',           % Miscellaneous useful clauses that were in BASIC
'press:match',          % Bag matching routines
'press:prover',		% Theorem prover
'press:diff',		% Differentiation
'arith:normal',		% Normalize input equation
'arith:poly',		% Polynomial methods
'arith:polyis',		% Identify and split polynomials
'arith:polpak',		% Bag addition and multiplication of polynomials


'press:goals',		% Standard tests and goal questions
	int,		% My interval stuff
	probs,		% Current problems
'arith:odds'            % Clauses from eval
].

ok :- core_image,write('UPDATED PRESS    Version of 27.2.81'),ttynl,'$reinit'.
