From d3be001671b87ba2cfbc61b53f738bead8536f49 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Mon, 15 Feb 2021 16:58:40 -0500
Subject: [PATCH] Update before lecturing on BasicSyntax

---
 frap_book.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/frap_book.tex b/frap_book.tex
index 7bc46fc..5f9f7f5 100644
--- a/frap_book.tex
+++ b/frap_book.tex
@@ -46,7 +46,7 @@ For more information, see the book's home page:
 \mbox{}\vfill
 \begin{center}
 
-Copyright Adam Chlipala 2015-2017.
+Copyright Adam Chlipala 2015-2021.
 
 
 This work is licensed under a
@@ -407,7 +407,7 @@ The notations are suggestive, but in fact we have free reign in choosing the set
 The formal theory is then as follows, where we consider as ``true'' only those equalities that follow from the axioms.
 $$\begin{array}{rrcl}
   \textrm{Variables} & x &\in& \mathsf{Strings} \\
-  \textrm{Terms} & e &::=& x \mid e + e \mid e \times e \\
+  \textrm{Terms} & e &::=& 0 \mid 1 \mid x \mid e + e \mid e \times e \\
   \textrm{Propositions} & \phi &::=& e = e
 \end{array}$$