Lines Matching defs:about
372 have much to worry about.
401 {\tt arith} & theorems about arithmetic\\
404 {\tt combin} & theorems about combinators \\
405 {\tt functions} & basic theorems about functions \\
406 {\tt list} & theorems about lists \\
408 {\tt one} & theorems about the type \ml{one} \\
409 {\tt pairs} & theorems about pairs \\
410 {\tt sum} & theorems about disjoint sums \\
411 {\tt tree} & theorems about trees \\
1050 needs to be said about the uses of a function. A {\small\verb!\USES!} field
1100 keyword `{\small\verb!\COMMENTS!}', followed by any general remarks about the
1109 remarks about implementation matters, promises of future reimplementation,