* algebra/aggcat.spad.pamphlet (Collection) [find]: Move to
	FiniteAggregate.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2921 f499efd5-9937-0410-b36a-d3739c31ded8
	* interp/database.boot (getConstructorAbbreviationFromDB): Use DB
	data structure directtly.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2922 f499efd5-9937-0410-b36a-d3739c31ded8
Use DB data structure directly.

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

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

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2925 f499efd5-9937-0410-b36a-d3739c31ded8
Refactor src/algebra/Makefile.am

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2926 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/aggcat.spad.pamphlet (UnaryRecursiveAggregate) [map!]:
	Implement default.
	* algebra/list.spad.pamphlet (List) [map!]: Likewise.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2927 f499efd5-9937-0410-b36a-d3739c31ded8
	* algebra/aggcat.spad.pamphlet (ShallowlyMutableAggregate): Extend
	Aggregate only.  Adjust users.
	(BagAggregate): Explicitly extend HomogeneousAggregate.
	(AssociationListAggregate): Extend ShallowlyMutableAggregate.



git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2928 f499efd5-9937-0410-b36a-d3739c31ded8
Tidy src/algebra/Makefile.am

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