From 496fe8b336293c1ca960eb3fad67ac005403ee31 Mon Sep 17 00:00:00 2001 From: alfredoport Date: Fri, 29 Aug 2008 23:04:35 +0000 Subject: Fixes to HyperDoc by Waldek Hebisch. --- src/hyper/pages/MSET.ht | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/hyper/pages/MSET.ht') 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)} -- cgit v1.2.3