/* MOFI : All the bits for the Moment of inertia problems 

						Updated: 10 February 81
*/


:- [ 
     sel,		% Utilities for conjunctions

     ctmeas,		% Fibre Schema
     defn,		% Algebraic Shape Definitions
     genkn,		% Some general knowledge
     fndb,		% Date base entry with function properties

     patch,		% Various temporary patches
     qik,		% Quick save and restore
     'arith:polyis',	% for poly_form
     'press:misc',	% for mult_occ
     'arith:polpak',	% for poly
     'press:match'	% for recomp
   ],


   load([ mk1,		% Meta level knowledge
	  typ1,		% Type hierarchy
	  inf1,		% Inference rules (length, area)
	  inf2,		% Inference rules (mass, rofg)
	  form1,	% Formulae (mass)
	  form2		% Formulae (rofg)
	]).



