3 files changed, 1 insertions, 12 deletions
diff --git a/src/algebra/annacat.spad.pamphlet b/src/algebra/annacat.spad.pamphlet
index 70d5af6c..cf22598c 100644
--- a/src/algebra/annacat.spad.pamphlet
+++ b/src/algebra/annacat.spad.pamphlet
@@ -52,8 +52,6 @@ NumericalIntegrationProblem():SetCategory with
       ++ coerce(x) \undocumented{}
     coerce: Union(nia:NIAA,mdnia:MDNIAA) -> %
       ++ coerce(x) \undocumented{}
-    coerce: % -> OutputForm
-      ++ coerce(x) \undocumented{}
     retract: % -> Union(nia:NIAA,mdnia:MDNIAA)
       ++ retract(x) \undocumented{}
 
@@ -105,8 +103,6 @@ NumericalODEProblem():SetCategory with
 
     coerce: ODEAB -> %
       ++ coerce(x) \undocumented{}
-    coerce: % -> OutputForm
-      ++ coerce(x) \undocumented{}
     retract: % -> ODEAB
       ++ retract(x) \undocumented{}
 
@@ -165,8 +161,6 @@ NumericalPDEProblem():SetCategory with
 
     coerce: PDEBC -> %
       ++ coerce(x) \undocumented{}
-    coerce: % -> OutputForm
-      ++ coerce(x) \undocumented{}
     retract: % -> PDEBC
       ++ retract(x) \undocumented{}
 
@@ -226,8 +220,6 @@ NumericalOptimizationProblem():SetCategory with
       ++ coerce(x) \undocumented{}
     coerce: UNOALSAD -> %
       ++ coerce(x) \undocumented{}
-    coerce: % -> OutputForm
-      ++ coerce(x) \undocumented{}
     retract: % -> UNOALSAD
       ++ retract(x) \undocumented{}
 
diff --git a/src/algebra/forttyp.spad.pamphlet b/src/algebra/forttyp.spad.pamphlet
index 334b236b..a3806331 100644
--- a/src/algebra/forttyp.spad.pamphlet
+++ b/src/algebra/forttyp.spad.pamphlet
@@ -184,8 +184,6 @@ FortranType() : exports == implementation where
   FSTU   ==> Union(fst:FST,void:"void")
 
   exports == SetCategory with
-    coerce : $ -> OutputForm
-      ++ coerce(x) provides a printable form for x
     coerce : FST -> $
       ++ coerce(t) creates an element from a scalar type
     scalarTypeOf : $ -> FSTU
diff --git a/src/algebra/void.spad.pamphlet b/src/algebra/void.spad.pamphlet
index 890b854b..fd27c702 100644
--- a/src/algebra/void.spad.pamphlet
+++ b/src/algebra/void.spad.pamphlet
@@ -32,9 +32,8 @@
 ++   All values can be coerced to type Void.  Once a value has been coerced
 ++   to Void, it cannot be recovered.
 
-Void: with
+Void: CoercibleTo OutputForm with
         void: () -> %            ++ void() produces a void object.
-        coerce: % -> OutputForm  ++ coerce(v) coerces void object to outputForm.
     == add
         Rep := String
         void()      == voidValue()$Lisp