From 47377fa44143d409331dd7d0c662e6ebb34d9f4f Mon Sep 17 00:00:00 2001 From: Matej Kosik Date: Mon, 2 Nov 2015 14:41:37 +0100 Subject: ENH: The beginning of Section 4.5 (Inductive declarations) was changed in order to make it more concrete and more comprehensible. This ver --- doc/common/macros.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc/common') diff --git a/doc/common/macros.tex b/doc/common/macros.tex index ff13ec455..fb9190a16 100644 --- a/doc/common/macros.tex +++ b/doc/common/macros.tex @@ -260,7 +260,7 @@ \newcommand{\Length}{\mbox{\textsf{Length}}} \newcommand{\length}{\mbox{\textsf{length}}} \newcommand{\LengthA}{\mbox {\textsf{Length\_A}}} -\newcommand{\List}{\mbox{\textsf{List}}} +\newcommand{\List}{\mbox{\textsf{list}}} \newcommand{\ListA}{\mbox{\textsf{List\_A}}} \newcommand{\LNil}{\mbox{\textsf{Lnil}}} \newcommand{\LCons}{\mbox{\textsf{Lcons}}} -- cgit v1.2.3