Versiegeschiedenis van “equality of natural numbers” (Z13522)
Selectie voe diff: sillecteer de te verheliek'n versies en toets ENTER of de knoppe onderan.
Verklaerieng afkortiengen: (udig) = verschil mie udihe versie, (vorihe) = verschil mie voorhaende versie, k = kleine wiezigieng