Viewing all changes in revision 10559.
- Committer: Samuel Bronson
- Date: 2009-10-02 01:01:28 UTC
- Revision ID: naesten@gmail.com-20091002010128-md00m6sl462c7wu4
Add Data.Nat with some simple stuff about Nat, eq, le, and lt
- files added:
- theories/Data/Nat.v
- files modified:
- Makefile.common
expand all
collapse all
added
removed
