src/FOL/ex/Nat.ML
changeset 189 831a9a7ab9f3
parent 132 b5704e45d2d2
child 755 dfb3894d78e4