Tidy Collection

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2899 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/aggcat.spad.pamphlet (FiniteAgregate): Remove attribute
	finiteAggregate.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2900 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/define.boot (knownPred): Take a memo-table as third parameter.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2901 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/cycles.spad.pamphlet (CycleIndicators)
	[complete,alternating]:  Change input type to NonNegativeInteger.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2902 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/cycles.spad.pamphlet (CycleIndicators) [nniBump]: New
	local function.
	[SFunction]: Use it.



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

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2904 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/define.boot (getSignature): Third parameter need not be fluid.



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