Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq

naming.txt

+== 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