diff options
| author | Théo Zimmermann | 2017-05-01 17:48:57 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2017-05-01 17:48:57 +0200 |
| commit | d0252cac3167ef1e5cd26c1b9b40aea06d343413 (patch) | |
| tree | 9748fb6a7260592a1e0baca9da37c22d400ee51d /doc/RecTutorial | |
| parent | 5365971dfdf4136586527aa4f4c85fbfebeee0bd (diff) | |
More consistent writing of de Bruijn.
Diffstat (limited to 'doc/RecTutorial')
| -rw-r--r-- | doc/RecTutorial/coqartmacros.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/RecTutorial/coqartmacros.tex b/doc/RecTutorial/coqartmacros.tex index 2a2c211963..72d7492690 100644 --- a/doc/RecTutorial/coqartmacros.tex +++ b/doc/RecTutorial/coqartmacros.tex @@ -149,7 +149,7 @@ \newcommand{\PicAbst}[3]{\begin{bundle}{\bf abst}\chunk{#1}\chunk{#2}\chunk{#3}% \end{bundle}} -% the same in DeBruijn form +% the same in de Bruijn form \newcommand{\PicDbj}[2]{\begin{bundle}{\bf abst}\chunk{#1}\chunk{#2} \end{bundle}} |