Eradicate attribute shallowlyMutable.

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

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

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

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

git-svn-id: svn://svn.code.sf.net/p/open-axiom/code/trunk@2919 f499efd5-9937-0410-b36a-d3739c31ded8
	Use Functorial more often.


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