doc-src/Intro/intro.ind
changeset 3492 88e786024079
parent 3213 4bbeb1f58a23
child 4802 c15f46833f7a
equal deleted inserted replaced
3491:59ffc1c83403 3492:88e786024079
   163   \item Prolog interpreter, \bold{61}
   163   \item Prolog interpreter, \bold{61}
   164   \item proof state, 16
   164   \item proof state, 16
   165   \item proofs
   165   \item proofs
   166     \subitem commands for, 30
   166     \subitem commands for, 30
   167   \item {\tt PROP} symbol, 26
   167   \item {\tt PROP} symbol, 26
   168   \item {\tt prop} type, 6, 25, 26
   168   \item {\textit {prop}} type, 25, 26
       
   169   \item {\tt prop} type, 6
   169   \item {\tt prth}, 27
   170   \item {\tt prth}, 27
   170   \item {\tt prthq}, 27, 29
   171   \item {\tt prthq}, 27, 29
   171   \item {\tt prths}, 27
   172   \item {\tt prths}, 27
   172   \item {\tt Pure} theory, 47
   173   \item {\tt Pure} theory, 47
   173 
   174