Enhancement of (label naming) conventions
Enhancement of (label naming) conventions

Rows in table of abbreviations added for:
- cnfld
- fld
- mpt (2 rows!)
- supp
- zring

metamath/set.mm,metamath/set.mm,metamath/set.mm