
(/VERSIONCHECK 2) 

(DEFPARAMETER |OrderedAbelianMonoidSup;AL| 'NIL) 

(DEFUN |OrderedAbelianMonoidSup| ()
  (LET (#:G6072)
    (COND (|OrderedAbelianMonoidSup;AL|)
          (T
           (SETQ |OrderedAbelianMonoidSup;AL| (|OrderedAbelianMonoidSup;|)))))) 

(DEFUN |OrderedAbelianMonoidSup;| ()
  (PROG (#1=#:G6070)
    (RETURN
     (PROG1
         (LETT #1#
               (|Join| (|OrderedCancellationAbelianMonoid|)
                       (|mkCategory| '|domain| '(((|sup| ($ $ $)) T)) NIL 'NIL
                                     NIL))
               |OrderedAbelianMonoidSup|)
       (SETELT #1# 0 '(|OrderedAbelianMonoidSup|)))))) 

(MAKEPROP '|OrderedAbelianMonoidSup| 'NILADIC T) 
