src/HOL/Library/Old_SMT/old_smt_datatypes.ML
changeset 65151 a7394aa4d21c
parent 58058 1a0b18176548