diff options
| author | Enrico Tassi | 2013-11-29 14:56:29 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2013-11-29 14:56:29 +0100 |
| commit | a889c1ee209ff16f03f89bf1f8f21faba1522a5d (patch) | |
| tree | a0b9353be68831a1595575d0a52fd9d7b58c45ff /doc/refman/Reference-Manual.tex | |
| parent | d8f3bf3416dc3ca6e5719b47451b0f72d663d7e2 (diff) | |
First stab at documenting Canonical Structures
Diffstat (limited to 'doc/refman/Reference-Manual.tex')
| -rw-r--r-- | doc/refman/Reference-Manual.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/refman/Reference-Manual.tex b/doc/refman/Reference-Manual.tex index 4380f5442b..7b6c8ba3be 100644 --- a/doc/refman/Reference-Manual.tex +++ b/doc/refman/Reference-Manual.tex @@ -111,6 +111,7 @@ Options A and B of the licence are {\em not} elected.} \include{AddRefMan-pre}% \include{Cases.v}% \include{Coercion.v}% +\include{CanonicalStructures.v}% \include{Classes.v}% %%SUPPRIME \include{Natural.v}% \include{Omega.v}% |