src/FOL/ex/nat.ML
changeset 189 831a9a7ab9f3
parent 132 b5704e45d2d2
equal deleted inserted replaced
188:6be0856cdf49 189:831a9a7ab9f3