From 7166741308e6a1f2de04f6f7434e13dd5610e5bb Mon Sep 17 00:00:00 2001
From: Robbert Krebbers <mail@robbertkrebbers.nl>
Date: Tue, 22 Mar 2016 16:48:59 +0100
Subject: [PATCH] Preliminary list of naming conventions.

---
 naming.txt | 59 ++++++++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 59 insertions(+)
 create mode 100644 naming.txt

diff --git a/naming.txt b/naming.txt
new file mode 100644
index 000000000..b98dd3d30
--- /dev/null
+++ b/naming.txt
@@ -0,0 +1,59 @@
+== small letters ==
+a : A : cmraT or cofeT
+b : B : cmraT or cofeT
+c
+d
+e : expr = expressions
+f
+g
+h : heap
+i
+j
+k
+l
+m : iGst = ghost state
+n
+o
+p
+q
+r : res = resources
+s
+t
+u
+v : val = values of language
+w
+x
+y
+z 
+
+== capital letters ==
+A : Type, cmraT or cofeT
+B : Type, cmraT or cofeT
+C
+D   
+E : coPset = Viewshift masks
+F
+G
+H = hypotheses
+I : indexing sets
+J
+K : ectx = evaluation contexts
+L
+M = maps / global CMRA
+N : namespace
+O 
+P : uPred, iProp or Prop
+Q : uPred, iProp or Prop
+R : uPred, iProp or Prop
+S : set state = state sets in STSs
+T : set token = token sets in STSs
+U
+V : abstraction of values in frame shift assertions
+W
+X : sets
+Y : sets
+Z : sets
+
+== small greek letters ==
+γ : gname.
+σ : state = state of language
-- 
GitLab