\input lib.txi

\catcode‘\_=\active % we want to use this in identifiers \def_{\_

\twelvepoint\doublespacing\rm

This document was generated on February 12, 2022 using texi2html 5.0.