From 5cb9dfc497fa36654c89649620769ec002fa56dc Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 22 Mar 2016 18:46:31 +0100
Subject: [PATCH] update naming

---
 naming.txt | 24 +++++++++++++++---------
 1 file changed, 15 insertions(+), 9 deletions(-)

diff --git a/naming.txt b/naming.txt
index b98dd3d30..191c1664e 100644
--- a/naming.txt
+++ b/naming.txt
@@ -4,8 +4,8 @@ b : B : cmraT or cofeT
 c
 d
 e : expr = expressions
-f
-g
+f : some generic function
+g : some generic function
 h : heap
 i
 j
@@ -16,8 +16,8 @@ n
 o
 p
 q
-r : res = resources
-s
+r : iRes = resources
+s : state (STSs)
 t
 u
 v : val = values of language
@@ -32,14 +32,15 @@ B : Type, cmraT or cofeT
 C
 D   
 E : coPset = Viewshift masks
-F
+F : a functor
 G
-H = hypotheses
+H : hypotheses
 I : indexing sets
 J
 K : ectx = evaluation contexts
+    keys of a map
 L
-M = maps / global CMRA
+M : maps / global CMRA
 N : namespace
 O 
 P : uPred, iProp or Prop
@@ -48,12 +49,17 @@ 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
+V : abstraction of value type in frame shift assertions
 W
 X : sets
 Y : sets
 Z : sets
 
 == small greek letters ==
-γ : gname.
+γ : gname
 σ : state = state of language
+φ : interpretation of STS/Auth
+
+== capital greek letters ==
+Φ : general predicate (over uPred, iProp or Prop)
+Ψ : general predicate (over uPred, iProp or Prop)
-- 
GitLab