src/HOL/Tools/Nitpick/nitpick_preproc.ML
changeset 41298 aad679ca38d2
parent 41052 3db267a01c1d
child 41791 01d722707a36
equal deleted inserted replaced
41257:a47133170dd0 41298:aad679ca38d2