src/HOL/Tools/Nitpick/nitpick_hol.ML
changeset 57978 8f4a332500e4
parent 57228 d52012eabf0d
child 57964 3dfc1bf3ac3d