diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/refman/RefMan-cic.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/RefMan-cic.tex b/doc/refman/RefMan-cic.tex index fb6a5bff83..04df208ee2 100644 --- a/doc/refman/RefMan-cic.tex +++ b/doc/refman/RefMan-cic.tex @@ -228,7 +228,7 @@ a global environment and a local context. \paragraph{Local context.} A {\em local context} is an ordered list of -declarations of names which we call {\em variables}. +local declarations of names which we call {\em variables}. The declaration of some variable $x$ is either a local assumption, written $x:T$ ($T$ is a type) or a local definition, written $x:=t:T$. We use brackets to write local contexts. A |