doc-src/Logics/logics.ind

   \item {\tt gfp_upperbound} theorem, 44
   \item {\tt goalw}, 18
 
   \indexspace
 
-  \item {\tt hd} constant, 82
+  \item {\tt hd} constant, 82, 94
   \item higher-order logic, 59--103
   \item {\tt HOL} theory, 1, 59
   \item {\sc hol} system, 59, 62
   \item {\tt HOL_basic_ss}, \bold{75}
   \item {\tt HOL_cs}, \bold{76}