src/HOL/Tools/SMT/smtlib_isar.ML
changeset 67399 eab6ce8368fa
parent 59970 e9f73d87d904