src/HOL/Nitpick_Examples/Integer_Nits.thy
changeset 57978 8f4a332500e4
parent 55893 aed17a173d16
child 58249 180f1b3508ed
equal deleted inserted replaced
57977:113b43b84412 57978:8f4a332500e4