2016-12-14 vocファイル Mizar ハマリ所 ダメ出し ホントによくハマる。 まず、vocファイルを書く。空でもいいから書く。 vocabulariesディレクティブに自分の名前を書く!!! 新しい名前を定義するときは必ずvocファイルにも書く。 名前(トークン)を知らないと言われたらvocファイルを疑う。