doc-src/Ref/goals.tex

   
 \item[\ttindexbold{store_thm} ($name$, $thm$)]\index{theorems!storing}
   stores $thm$ in the theorem database associated with its theory and
   returns that theorem.
   
-\item[\ttindexbold{bind_thms} and \ttindexbold{store_thms}] are similar to
+\item[\ttindexbold{bind_thms} \textrm{and} \ttindexbold{store_thms}] are similar to
   \texttt{bind_thm} and \texttt{store_thm}, but store lists of theorems.
 
 \end{ttdescription}
 
-The name argument of \texttt{qed}, \texttt{bind_thm} etc.\ may be empty
-(\texttt{""}) as well; in that case the result is \emph{not} stored, but
-proper checks and presentation of the result still apply.
+The name argument of \texttt{qed}, \texttt{bind_thm} etc.\ may be the empty
+string as well; in that case the result is \emph{not} stored, but proper
+checks and presentation of the result still apply.
 
 
 \subsection{Extracting axioms and stored theorems}
 \index{theories!axioms of}\index{axioms!extracting}
 \index{theories!theorems of}\index{theorems!extracting}