nat.thy
changeset 77 d64593bb95d3
parent 51 934a58983311