Added note about group theory formalizations.
Added note about group theory formalizations.

Ignore-this: cd6ff34c897a1617f999e7dab4034f71

darcs-hash:20120214054709-3bd4e-979c5e21d4188312b58068d42a0771bae8829885.gz

asr/fotc,asr/fotc