src/HOL/Tools/Nitpick/nitpick_mono.ML
changeset 54381 9c1f21365326
parent 47433 07f4bf913230
child 54816 10d48c2a3e32
equal deleted inserted replaced
54380:209596f56c05 54381:9c1f21365326