* interp/define.boot (sourceMatches): New.
	(getDollarName): Likewise.
	(getSignature): Them.  Tidy.
	(setDollarName): New.
	(compDefineFunctor1): Use it.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2906 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/define.boot (compDefineFunctor1): Use the current
	instantiation form when adding modemaps from category.
	(partialSignature?): New.
	(refineDefinitionSignature): Use full completion from getSignature.
	* interp/compiler.boot (compIterator): Simplify.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2907 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/aggcat.spad.pamphlet (Aggregate) [#]: Remove export.
	(UnaryRecursiveAggregate):  Make definiton conditional.
	* algebra/stream.spad.pamphlet (LazyStreamAggregate): Likewise.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2908 f499efd5-9937-0410-b36a-d3739c31ded8
	Eradicate attribute finiteAggregate.
	* algebra/aggcat.spad.pamphlet (HomogeneousAggregate): Remove
	exports conditional aatribute finiteAggregate.
	(TableAggregate): Remove spirous definitions.
	* algebra/stream.spad.pamphlet (LazyStreamAggregate): Put
	definitions for FiniteAgregate exports under appropriate condition.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2909 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/newdata.spad.pamphlet (SplittingTree): Include
	ShallowlyMutableAggregate S in exports.
	* algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude
	ShallowlyMutableAggregate P.
	* algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2910 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/aggcat2.spad.pamphlet: Use ShallowlyMutableAggregate.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2911 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/matcat.spad.pamphlet: Use ShallowlyMutableAggregate.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2912 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/matfuns.spad.pamphlet: Use ShallowlyMutableAggregate.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2913 f499efd5-9937-0410-b36a-d3739c31ded8
Use ShallowlyMutableAggregate.

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2914 f499efd5-9937-0410-b36a-d3739c31ded8