diff options
author | alfredoport <doyenatccny@gmail.com> | 2008-08-29 23:04:35 +0000 |
---|---|---|
committer | alfredoport <doyenatccny@gmail.com> | 2008-08-29 23:04:35 +0000 |
commit | 496fe8b336293c1ca960eb3fad67ac005403ee31 (patch) | |
tree | 96f321e2d64df80a11a532360b652edf62052572 /src/hyper/pages/MSET.ht | |
parent | c57b76ca8c51522c2f6b99999213aeb125252fca (diff) | |
download | open-axiom-496fe8b336293c1ca960eb3fad67ac005403ee31.tar.gz |
Fixes to HyperDoc by Waldek Hebisch.
Diffstat (limited to 'src/hyper/pages/MSET.ht')
-rw-r--r-- | src/hyper/pages/MSET.ht | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/hyper/pages/MSET.ht b/src/hyper/pages/MSET.ht index 706f7515..a9340e9b 100644 --- a/src/hyper/pages/MSET.ht +++ b/src/hyper/pages/MSET.ht @@ -4,7 +4,7 @@ \newcommand{\MultisetXmpNumber}{9.53} % % ===================================================================== -\begin{page}{MultisetXmpPage}{9.53 MultiSet} +\begin{page}{MultisetXmpPage}{9.53 Multiset} % ===================================================================== \beginscroll The domain \spadtype{Multiset(R)} is similar to \spadtype{Set(R)} |