doc-src/AxClass/Nat/NatClass.thy
changeset 24067 69b51bc5ce06
parent 16417 9bc16273c2d4
child 25988 89a03048f312