8.1.2 環境部のチェック

 そのほか環境部のチェックがあります.このためのコマンドとしては,

   IRRVOC  不要な vocabulary をチェックする.
   IRRTHS  不要な theorems をチェックする.


があります.使い方は本体部のチェックのコマンドと同様です.NOTATIONや CONSTRUSTORS に関しては,良い方法がないので,NOTATION や CONSTRUSTORS は最初からたくさん使わないで,なるべく最低限のもの,最初は0から出発して,だんだん自分に必要なものを入れていってください.但し,IRRVOC で不要なファイルを削除しますと,その後 accomodation を行うと NOTATION 部にエラーが出ますので,それをとり除くことはできます.