Create Nat1.ml

initial commit
Update Nat1.ml
Rename Nat1.ml to Sol_Nat1.ml
Update Sol_Nat1.ml
Merge pull request #1 from vzy2/patch-1

Create Nat1.ml