| changeset 6099 | d4866f6ff2f9 |
| parent 5850 | 9712294e60b9 |
| child 6106 | f5999c0f40b9 |
--- a/doc-src/Tutorial/tutorial.ind Tue Jan 12 15:40:53 1999 +0100 +++ b/doc-src/Tutorial/tutorial.ind Tue Jan 12 15:48:59 1999 +0100 @@ -91,6 +91,11 @@ \indexspace \item {\tt nat}, 2, \bold{16} + \item {\tt None}, \bold{32} + + \indexspace + + \item {\tt option}, \bold{32} \indexspace @@ -114,6 +119,7 @@ \item {\tt simp_tac}, \bold{21} \item simplifier, \bold{19} \item simpset, \bold{20} + \item {\tt Some}, \bold{32} \indexspace