src/HOL/Tools/SMT/smtlib_proof.ML
changeset 66787 64b47495676d
parent 58061 3d060f43accb
child 69205 8050734eee3e