Update of /cvs/tunes/src/HLL In directory bespin.org:/tmp/cvs-serv25358 Modified Files: principles.html Log Message: Hyperlinked the discussion of quotienting to the definition and examples recently made on the CLiki.