diff --git a/books/bookvol5.pamphlet b/books/bookvol5.pamphlet
index 88813ed..cfd3113 100644
--- a/books/bookvol5.pamphlet
+++ b/books/bookvol5.pamphlet
@@ -52475,6 +52475,147 @@ There are 8 parts of an htPage:
\end{chunk}
+\defun{dbShowConsDoc}{dbShowConsDoc}
+\calls{dbShowConsDoc}{systemError}
+\calls{dbShowConsDoc}{dbShowConsDoc1}
+\calls{dbShowConsDoc}{getConstructorForm}
+\calls{dbShowConsDoc}{opOf}
+\calls{dbShowConsDoc}{htpProperty}
+\calls{dbShowConsDoc}{remdup}
+\begin{chunk}{defun dbShowConsDoc}
+(defun |dbShowConsDoc| (htPage conlist)
+ (labels (
+ (fn (cAlist x)
+ (let ((index 0))
+ (loop while (not (equal (caaar cAlist) x))
+ do (setq index (1+ index))
+ (setq cAlist (cdr cAlist))
+ (unless cAlist (|systemError|)))
+ index)))
+ (let (index cAlist)
+ (cond
+ ((null (cdr conlist))
+ (|dbShowConsDoc1| htPage
+ (|getConstructorForm| (|opOf| (car conlist))) nil))
+ (t
+ (setq cAlist (|htpProperty| htPage '|cAlist|))
+ (loop for x in (remdup conlist) do
+ (|dbShowConsDoc1| htPage
+ (|getConstructorForm| x) (fn cAlist x))))))))
+
+\end{chunk}
+
+\defun{dbShowConsDoc1}{dbShowConsDoc1}
+\calls{dbShowConsDoc1}{member}
+\calls{dbShowConsDoc1}{htpProperty}
+\calls{dbShowConsDoc1}{getl}
+\calls{dbShowConsDoc1}{displayDomainOp}
+\calls{dbShowConsDoc1}{isExposedConstructor}
+\calls{dbShowConsDoc1}{getConstructorDocumentation}
+\calls{dbShowConsDoc1}{getConstructorSignature}
+\calls{dbShowConsDoc1}{getdatabase}
+\calls{dbShowConsDoc1}{sublislis}
+\calls{dbShowConsDoc1}{sublisFormal}
+\calls{dbShowConsDoc1}{htSaySaturn}
+\calls{dbShowConsDoc1}{displayDomainOp}
+\calls{dbShowConsDoc1}{htSaySaturn}
+\usesdollar{dbShowConsDoc1}{TriangleVariableList}
+\usesdollar{dbShowConsDoc1}{Primitives}
+\begin{chunk}{defun dbShowConsDoc1}
+(defun |dbShowConsDoc1| (htPage conform indexOrNil)
+ (let (conargs conname lt1 exposeFlag doc signature sig)
+ (declare (special |$TriangleVariableList| |$Primitives|))
+ (setq conname (car conform))
+ (setq conargs (cdr conform))
+ (cond
+ ((member conname |$Primitives|)
+ (setq conname (|htpProperty| htPage '|conname|))
+ (setq lt1 (getl conname '|documentation|))
+ (cond ((eq (caar lt1) '|constructor|) (caar lt1)))
+ (cond ((eq (caadar lt1) 'nil) (caadar lt1)))
+ (setq doc (car (cdadar lt1)))
+ (setq sig '((category domain) (|SetCategory|) (|SetCategory|)))
+ (|displayDomainOp| htPage "constructor"
+ conform conname sig t doc indexOrNil '|dbSelectCon| nil nil))
+ (t
+ (setq exposeFlag (|isExposedConstructor| conname))
+ (setq doc (list (|getConstructorDocumentation| conname)))
+ (setq signature (|getConstructorSignature| conname))
+ (setq sig
+ (if (eq (getdatabase conname 'constructorkind) '|category|)
+ (sublislis conargs |$TriangleVariableList| signature)
+ (|sublisFormal| conargs signature)))
+ (|htSaySaturn| "\\begin{description}")
+ (|displayDomainOp| htPage "constructor" conform conname sig t doc
+ indexOrNil '|dbSelectCon| (null exposeFlag) nil)
+ (|htSaySaturn| "\\end{description}")))))
+
+\end{chunk}
+
+\defun{getConstructorDocumentation}{getConstructorDocumentation}
+\calls{getConstructorDocumentation}{lassoc}
+\calls{getConstructorDocumentation}{getdatabase}
+\calls{getConstructorDocumentation}{qcar}
+\calls{getConstructorDocumentation}{qcaar}
+\calls{getConstructorDocumentation}{qcdar}
+\calls{getConstructorDocumentation}{qcadar}
+\begin{chunk}{defun getConstructorDocumentation}
+(defun |getConstructorDocumentation| (conname)
+ (let (IT1)
+ (setq IT1 (lassoc '|constructor| (getdatabase conname 'documentation)))
+ (or
+ (and (consp IT1) (consp (qcar IT1)) (null (qcaar IT1)) (consp (qcdar IT1))
+ (qcadar IT1))
+ "")))
+
+\end{chunk}
+
+\defun{dbSelectCon}{dbSelectCon}
+\calls{dbSelectCon}{conPage}
+\calls{dbSelectCon}{opOf}
+\calls{dbSelectCon}{htpProperty}
+\begin{chunk}{defun dbSelectCon}
+(defun |dbSelectCon| (htPage which index)
+ (declare (ignore which))
+ (|conPage| (|opOf| (car (elt (|htpProperty| htPage '|cAlist|) index)))))
+
+\end{chunk}
+
+\defun{dbShowConditions}{dbShowConditions}
+\calls{dbShowConditions}{htpProperty}
+\calls{dbShowConditions}{opOf}
+\calls{dbShowConditions}{splitConTable}
+\calls{dbShowConditions}{pluralize}
+\calls{dbShowConditions}{stringimage}
+\calls{dbShowConditions}{length}
+\calls{dbShowConditions}{dbSayItems}
+\calls{dbShowConditions}{htSaySaturn}
+\calls{dbShowConditions}{bcConPredTable}
+\calls{dbShowConditions}{htSayHrule}
+\calls{dbShowConditions}{dbSayItems}
+\begin{chunk}{defun dbShowConditions}
+(defun |dbShowConditions| (htPage cAlist kind)
+ (let (conform conname article whichever lt1 consNoPred consPred singular
+ plural)
+ (setq conform (|htpProperty| htPage '|conform|))
+ (setq conname (|opOf| conform))
+ (setq article (|htpProperty| htPage '|article|))
+ (setq whichever (|htpProperty| htPage '|whichever|))
+ (setq lt1 (|splitConTable| cAlist))
+ (setq consNoPred (car lt1))
+ (setq consPred (cdr lt1))
+ (setq singular (list kind " is"))
+ (setq plural (list (|pluralize| (stringimage kind)) " are"))
+ (|dbSayItems| (|#| consNoPred) singular plural " unconditional")
+ (|htSaySaturn| "\\\\")
+ (|bcConPredTable| consNoPred conname)
+ (|htSayHrule|)
+ (|dbSayItems| (|#| consPred) singular plural " conditional")
+ (|htSaySaturn| "\\\\")
+ (|bcConPredTable| consPred conname)))))
+
+\end{chunk}
+
\chapter{The Interpreter}
\begin{chunk}{Interpreter}
(setq *print-array* nil)
@@ -53089,8 +53230,12 @@ There are 8 parts of an htPage:
\getchunk{defun dbGetDocTable,hn}
\getchunk{defun dbNonEmptyPattern}
\getchunk{defun dbSearchOrder}
+\getchunk{defun dbSelectCon}
+\getchunk{defun dbShowConditions}
\getchunk{defun dbShowCons}
\getchunk{defun dbShowCons1}
+\getchunk{defun dbShowConsDoc}
+\getchunk{defun dbShowConsDoc1}
\getchunk{defun dbShowConsKindsFilter}
\getchunk{defun dbSubConform}
\getchunk{defun decideHowMuch}
@@ -53205,6 +53350,7 @@ There are 8 parts of an htPage:
\getchunk{defun getAndSay}
\getchunk{defun getBpiNameIfTracedMap}
\getchunk{defun getBrowseDatabase}
+\getchunk{defun getConstructorDocumentation}
\getchunk{defun getdatabase}
\getchunk{defun getDependentsOfConstructor}
\getchunk{defun getDirectoryList}
diff --git a/changelog b/changelog
index 50e5235..d9b8385 100644
--- a/changelog
+++ b/changelog
@@ -1,3 +1,6 @@
+20130622 tpd src/axiom-website/patches.html 20130622.01.tpd.patch
+20130622 tpd src/interp/br-con.lisp move code to bookvol5
+20130622 tpd books/bookvol5 move code from br-con.lisp
20130621 tpd src/axiom-website/patches.html 20130621.01.tpd.patch
20130621 tpd src/interp/br-con.lisp move code to bookvol5
20130621 tpd books/bookvol5 move code from br-con.lisp
diff --git a/src/axiom-website/patches.html b/src/axiom-website/patches.html
index ea71e73..c806b54 100644
--- a/src/axiom-website/patches.html
+++ b/src/axiom-website/patches.html
@@ -4214,6 +4214,8 @@ books/bookvol5 move code from br-con.lisp
books/bookvol5 move code from br-con.lisp
20130621.01.tpd.patch
books/bookvol5 move code from br-con.lisp
+20130622.01.tpd.patch
+books/bookvol5 move code from br-con.lisp