Revision history of "equality of natural numbers" (Z13522)
Diff selection: Merk the radio buttons o the revisions tae compare an hit enter or the button at the bottom.
Legend: (nou) = difference wi latest revision, (afore) = difference wi preceedin revision, s = smaa edit.