home *** CD-ROM | disk | FTP | other *** search
/ AmigActive 3 / AACD03.BIN / AACD / Programming / sofa / archive / SmallEiffel.lha / SmallEiffel / short / tex3 / hook511 < prev    next >
Text File  |  1999-06-05  |  20b  |  2 lines
  1.       {\bf{ensure}}
  2.