replacing rcfType by realType in angle.v#20

affeldt-aist wants to merge 1 commit intomasteraffeldt-aist/coq-robot:masterfrom

from_rcf_to_realaffeldt-aist/coq-robot:from_rcf_to_realCopy head branch name to clipboard