[[ProofCafe/ProofGeneral]] - C-c C-n 1ステップ評価 - C-c C-u 1ステップ戻る - C-c C-Enter カーソル位置まで評価 - C-c C-a C-o SearchPattern - C-c C-a C-p Print - C-c C-a C-c Check