doc-src/AxClass/Nat/NatClass.thy
changeset 20217 25b068a99d2b
parent 16417 9bc16273c2d4
child 25988 89a03048f312
equal deleted inserted replaced
20216:f30b73385060 20217:25b068a99d2b