src/HOL/Nitpick_Examples/Tests_Nits.thy
changeset 46372 6fa9cdb8b850
parent 45035 60d2c03d5c70
child 58889 5b7a9633cfa8