3 files changed, 5 insertions, 5 deletions
diff --git a/src/algebra/catdef.spad.pamphlet b/src/algebra/catdef.spad.pamphlet
index 1ea30684..4c6317f3 100644
--- a/src/algebra/catdef.spad.pamphlet
+++ b/src/algebra/catdef.spad.pamphlet
@@ -446,7 +446,7 @@ DifferentialExtension(R:Ring): Category == Ring with
     D: (%, R -> R, NonNegativeInteger) -> %
        ++ D(x, deriv, n) differentiate x n times
        ++ using a derivation which extends deriv on R.
-    if R has DifferentialDomain R then DifferentialRing
+    if R has DifferentialRing then DifferentialRing
     if R has PartialDifferentialRing(Symbol) then
              PartialDifferentialRing(Symbol)
   add
@@ -457,7 +457,7 @@ DifferentialExtension(R:Ring): Category == Ring with
     D(x:%, derivation: R -> R, n:NonNegativeInteger) ==
             differentiate(x, derivation, n)
 
-    if R has DifferentialDomain R then
+    if R has DifferentialRing then
       differentiate x == differentiate(x, differentiate$R)
 
     if R has PartialDifferentialRing Symbol then
diff --git a/src/algebra/dpolcat.spad.pamphlet b/src/algebra/dpolcat.spad.pamphlet
index 65533281..c5da0b47 100644
--- a/src/algebra/dpolcat.spad.pamphlet
+++ b/src/algebra/dpolcat.spad.pamphlet
@@ -300,7 +300,7 @@ DifferentialPolynomialCategory(R:Ring,S:OrderedSet,
       ++ separant(p) returns the
       ++ partial derivative of the differential polynomial p
       ++ with respect to its leader.
-    if R has DifferentialDomain R then
+    if R has DifferentialRing then
       InnerEvalable(S, R)
       InnerEvalable(S, $)
       Evalable $
@@ -394,7 +394,7 @@ DifferentialPolynomialCategory(R:Ring,S:OrderedSet,
     differentialVariables p ==
       removeDuplicates [variable v for v in variables p]
 
-    if R has DifferentialDomain R then
+    if R has DifferentialRing then
 
       makeVariable p == differentiate(p, #1)
 
diff --git a/src/algebra/lodop.spad.pamphlet b/src/algebra/lodop.spad.pamphlet
index d4aba322..3ebad1d2 100644
--- a/src/algebra/lodop.spad.pamphlet
+++ b/src/algebra/lodop.spad.pamphlet
@@ -86,7 +86,7 @@ OppositeMonogenicLinearOperator(P, R): OPRcat == OPRdef where
    R: Ring
 
    OPRcat == MonogenicLinearOperator(R) with
-        if P has DifferentialDomain P then DifferentialRing
+        if P has DifferentialRing then DifferentialRing
         op: P -> $  ++ op(p) creates a value in $ equal to p in P.
         po: $ -> P  ++ po(q) creates a value in P equal to q in $.