From 081d3ac6a786fdc3df515de58af2ef25a25a5b58 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Sun, 5 Feb 2017 11:25:51 +0000
Subject: wib

---
 language/l2.ott     |   6 +++---
 language/manual.pdf | Bin 361603 -> 391550 bytes
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/language/l2.ott b/language/l2.ott
index 84e92d7d..efed02bd 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -162,16 +162,16 @@ kind :: 'K_' ::=
 % we'll never use  ...-> Nat , .. Order , .. or Effects
     
 nexp :: 'Nexp_' ::=  
-  {{ com expression of kind Nat, for vector sizes and origins }}
+  {{ com expression of kind [[Nat]], for vector sizes and origins }}
   {{ aux _ l }}
-  | id                                  :: :: id          {{ com identifier, bound by def Nat x = nexp }}
+  | id                                  :: :: id          {{ com identifier, bound by \texttt{def Nat x = nexp} }}
   | kid                                 :: :: var         {{ com variable }}
   | num                                 :: :: constant     {{ com constant }}
   | nexp1 * nexp2                       :: :: times        {{ com product }}
   | nexp1 + nexp2                       :: :: sum          {{ com sum }}
   | nexp1 - nexp2			:: :: minus	   {{ com subtraction }} 
   | 2** nexp                            :: :: exp         {{ com exponential }}
-  | neg nexp				:: :: neg	  {{ com For internal use }}
+  | neg nexp				:: I :: neg	  {{ com for internal use only}}
   | ( nexp )                            :: S :: paren  {{ ichlo [[nexp]] }}
 
 order :: 'Ord_' ::=  
diff --git a/language/manual.pdf b/language/manual.pdf
index 22b4c5c3..d848b8da 100644
Binary files a/language/manual.pdf and b/language/manual.pdf differ
-- 
cgit v1.2.3