replace E with in

diff --git a/documentation b/documentation
index 2d64044dfa366fbddc9bf43e007d8845df8e48ea..bbb604f08eb7bb7225e8219460a812238e158726 100644 (file)
--- a/documentation
+++ b/documentation
@@ -13,7 +13,7 @@ typing rules
 ++++++++++++
 
 
-(t is little tau, T is large tau, E is 'in', and + is that other symbol)
+(t is used for types, T is the context, and + is used for in)
 
 
 [Eq, NEq]
@@ -39,7 +39,7 @@ The operators Lt/ELt/Gt/EGt return bool if both operands are ints
 
 [Assignment]
 
-T+ i := e:t  <=  i:t E T  &  T+ e:t
+T+ i := e:t  <=  i:t in T  &  T+ e:t
 
 The assignemnt of e to i returns type t if both i and e have type t.
 
@@ -58,7 +58,7 @@ ENot e returns bool if e is of type bool
 
 [EVar]
 
-T+ i:t <= i:t E T
+T+ i:t <= i:t in T
 
 i has type t if i is defined in the context with type t.
 
@@ -88,7 +88,7 @@ EReadB returns a bool
 
 [EPost]
 
-T+ EPost i:int <= i:int E T
+T+ EPost i:int <= i:int in T
 
 EPost i is of type int if i is defined in T with type int.
 
@@ -120,13 +120,13 @@ If e is of type bool and s typechecks in context T then the same context is retu
 
 [SDecl]
 
-T+ t i = e => T,i:t  <=  i!ET  &  e:t 
+T+ t i = e => T,i:t  <=  i not in T  &  e:t 
 
 if i and e are of the same type and i is not declared in the current scope then i is added with type t to the context.
 
 [SDeclD]
 
-T+ t i => T,i:t  <=  i!ET
+T+ t i => T,i:t  <=  i not in T
 
 if i is not declared in the current scope, then i is added to the context with type t