src/HOL/Tools/Nitpick/nitpick_model.ML
changeset 59607 a93592aedce4
parent 59582 0fbed69ff081
child 59621 291934bac95e
equal deleted inserted replaced
59606:28f53c1b3568 59607:a93592aedce4