editorial comments on BLD draft part II

My final batch of editorial comments:

24 - section 2.1.4, second and third bullet: are redundant; Const and
Var are defined in the syntax section.
25 - section 2.1.4, paragraph below mappings constituting an
interpretation: "It is convenient to define ... based on ... :" -> "The
mapping I is defined as follows:"

26 - section 2.2.2.1, first sentence: "recursively defined" -> "defined"
27 - section 3.1.1.2, three paragraphs above the XML example: "It is
well-known that these two forms are logically equivalent." -> "These two
forms are logically equivalent."
28 - section 3.1.1.2: that XML serialization here should includes an
editor's note similar to the one at the top of section 2.1.3, explaining
that the XML syntax is an example.
29 - section 3.1.2.2, first sentence: "no free variables"	 -> "no free
variable occurrences"

Best, Jos
-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
The third-rate mind is only happy when it is
thinking with the majority. The second-rate
mind is only happy when it is thinking with
the minority. The first-rate mind is only
happy when it is thinking.
  - AA Milne