From 64a378b9fc83c4305c8f88c3312f48e6b27953fe Mon Sep 17 00:00:00 2001
From: Jan Menz <s9jamenz@stud.uni-saarland.de>
Date: Fri, 8 Jun 2018 12:39:01 +0200
Subject: [PATCH] Added naming conventions for definitions to naming.txt

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

diff --git a/naming.txt b/naming.txt
index ed87ef4c3..d8074bdb3 100644
--- a/naming.txt
+++ b/naming.txt
@@ -1,3 +1,5 @@
+------------------ Naming conventions for variables/arguments/hypotheses in the Coq development ------------------
+
 == small letters ==
 a : A : cmraT or cofeT
 b : B : cmraT or cofeT
@@ -63,3 +65,14 @@ Z : sets
 == capital greek letters ==
 Φ : general predicate (over uPred, iProp or Prop)
 Ψ : general predicate (over uPred, iProp or Prop)
+
+------------------ Naming conventions for definitions in the Coq development ------------------
+
+== Postfixes (may be combined) ==
+
+C: OFEs
+R: resource algebras and cameras
+F: functors
+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
-- 
GitLab