src/HOL/Library/Old_SMT/old_z3_proof_reconstruction.ML
changeset 65151 a7394aa4d21c
parent 64574 1134e4d5e5b7
equal deleted inserted replaced
65150:fa299b4e50c3 65151:a7394aa4d21c