Change naming of named records to include name of record type so that different named records can have the same field name.
Change naming of named records to include name of record type so that
different named records can have the same field name.


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@5843 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware