2016-06-07 Isabelleに関するゴタゴタメモ Isabelle メモ 中置記法の定義は、 opfun :: "opfunのプロファイル" (中置宣言) 中置宣言は、 infixl "演算子記号" 優先度 優先度は整数値だが、どのくらいかは分からん。50, 70, 80あたりをよく使う。