src/HOL/ex/ThreeDivides.thy
changeset 68784 c7ee984243fc
parent 66453 cc19f7ca2ed6
child 69597 ff784d5a5bfb
equal deleted inserted replaced
68783:248e1678ce55 68784:c7ee984243fc