2016-06-06 Isabelleセオリー Isabelle この順で読むといいかも。 FOL/IFOL.thy ← Pure FOL/FOL.thy ← IFOL LCF/LCF.thy ← FOL CTT/CTT.thy ← Pure CTT/Bool.thy ← CTT CTT/Arith.thy ← Bool