http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2011/doc/tutorial.pdf
うーむ、ぜんぜんわかってない。
特殊記号の入力で手惑う。
Isabelles2011/etc/symbolsにProofGeneralが補完している特殊記号のテーブルがあることはわかった。
http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2011/doc/tutorial.pdf
うーむ、ぜんぜんわかってない。
特殊記号の入力で手惑う。
Isabelles2011/etc/symbolsにProofGeneralが補完している特殊記号のテーブルがあることはわかった。