doc-src/AxClass/Nat/NatClass.thy
changeset 26663 020618551468
parent 25988 89a03048f312
equal deleted inserted replaced
26662:39483503705f 26663:020618551468