Lines Matching defs:It
60 conventions used in it. It also explains how to write entries for the
297 them. Currently, many libraries do not have proper manuals. It is intended that
824 to check exact correspondence with system types automatically. It is not as
848 previous field, and must be present in every \doc\ file. It
883 This field is optional. It is intended simply to provide a list of relevant
973 have this form, {\small\verb!INDUCT_THEN!} will almost certainly fail. It is,
1017 documenting the package itself). It is still preferable to give complete \ML\
1152 It must be present in every \doc\ file.
1256 \noindent It is permissible to use {\em hypotheses} instead of {\em
1294 {\tt ALPHA}, be shown by using different variable names. It is usually
1585 version of the library documentation. It should include at least the following