From 2682773883a64e253428f8e651b2ef0c735d4997 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 8 Jun 2018 13:15:49 +0200
Subject: [PATCH] improve naming convention doc for suffices

---
 naming.txt | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/naming.txt b/naming.txt
index d8074bdb3..5fd181827 100644
--- a/naming.txt
+++ b/naming.txt
@@ -66,13 +66,14 @@ Z : sets
 Φ : general predicate (over uPred, iProp or Prop)
 Ψ : general predicate (over uPred, iProp or Prop)
 
------------------- Naming conventions for definitions in the Coq development ------------------
+------------------ Naming conventions for algebraic classes in the Coq development ------------------
 
-== Postfixes (may be combined) ==
+== Suffixes ==
+
+T: canonical structurs (for example ofeT for OFEs, cmraT for cameras)
 
 C: OFEs
-R: resource algebras and cameras
-F: functors
+R: cameras
 UR: unital cameras or resources algebras
-T: canonical structurs with extra algebraic structure (for example ofeT for OFEs, cmraT for cameras)
-G: global camera functor management
\ No newline at end of file
+F: functors (can be combined with all of the above, e.g. CF is an OFE functor)
+G: global camera functor management
-- 
GitLab