Added natural number libraries using inductive types with add and mul
chore(.travis.yml): set up travis-ci for backup and diff notification
Merge branch 'master' of github.com:leanprover/libraries
chore(Makefile): add Makefile

Add simple 'Makefile' to compile '.lean' files into '.olean'
files. It assumes that 'lean' is in the 'PATH' variable. If this is
not the case, you can run 'make' while specifying the pathname for
'lean' as follows:

    $ make LEAN=~/work/lean0.1/build/shell/lean
chore(.travis.yml): compile .lean to .olean and upload to dropbox
feat(nat/kernel)
Added le lt and a bunch of theorems
Some theorems still need a proof and are currently and axiom. nat_ind currently only compiles with the standard kernel, not the kernel in this folder
feat(nat): Add le/lt
feat(nat): use new kernel
change proofs to be compatible with the kenrel in this library, and prove some more theorems
chore(makefile): use -n and compile in right order
chore(makefile/list): fix makefile and convert list to use nat
chore(library/standard): fix permission
chore(Makefile): add and use extract_deps in Makefile
chore(library/standard/extract_dep): add EXCEPT to specify deps which do not need compilation
fix(library/standard/equality_test): add "import kernel"
fix(library/standard/list): use nat instead of Nat
fix(library/standard/extract_deps): took out sed
doc(README.md): add travis-ci badge
test commit
feat(nat): more theorems for le and lt
feat(nat/kernel): even more theorems for le and lt
Almost done with proving everything for le and lt. Slight modifications to the kernel