src/HOL/Tools/Nitpick/kodkod_sat.ML
changeset 82825 5e9c9f2c2cd8
parent 76501 7956b822f239