[Agda] darcs patch: Nat.Properties: add ∀ m n → m ≤ m ⊔ n

[Nicolas Pouillard]

I agree to release my library patches under the library's licence

Thu Nov 26 15:36:32 CET 2009  Nicolas Pouillard <nicolas.pouillard at gmail.com>
  * Nat.Properties: add ∀ m n → m ≤ m ⊔ n

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/x-darcs-patch
Size: 5017 bytes
Desc: A darcs patch for your repository!
Url : http://lists.chalmers.se/pipermail/agda/attachments/20091126/e5ca1444/attachment.bin