]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mathql/doc/mathql_introduction_avsets.tex
updating the introduction
[helm.git] / helm / mathql / doc / mathql_introduction_avsets.tex
index f90ea924708df73306215faffbc3306a7371c416..d9943f1cf95fecb16ea8b8a9aff10c62a0cb014b 100644 (file)
@@ -193,7 +193,7 @@ string of a single {\av} with no attributes.
 
 \item
 The boolean value \emph{false} is stored as an empty {\av} set, whereas
-a non-empty {\av} set may be interpreted as the boolean value \emph{true}.
+an inhabited {\av} set may be interpreted as the boolean value \emph{true}.
 The default representation of \emph{true} is a single {\av} with an empty
 head string and no attributes.