doc-src/Intro/intro.ind

   \item {\tt back}, 59, 62
   \item backtracking
     \subitem Prolog style, 62
   \item {\tt bd}, 31
   \item {\tt be}, 31
+  \item {\tt Blast_tac}, 39
   \item {\tt br}, 31
   \item {\tt by}, 30
 
   \indexspace
 

   \item {\tt exE} theorem, 38
 
   \indexspace
 
   \item {\tt FalseE} theorem, 45
-  \item {\tt fast_tac}, 39
   \item first-order logic, 1
   \item flex-flex constraints, 6, 25, \bold{28}
   \item {\tt flexflex_rule}, 29
   \item forward proof, 21, 24--30
   \item {\tt fun} type, 1, 4