src/HOL/Tools/SMT/verit_isar.ML
changeset 67399 eab6ce8368fa
parent 58515 6cf55e935a9d