matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/arithmetics/nat.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/arithmetics/nat.ma

2010-03-23	Andrea Asperti	Moved compare in a different file.	blob \| commitdiff \| raw
2010-03-18	Andrea Asperti	Nuova versione di not.	blob \| commitdiff \| raw \| diff to current
2010-03-02	Wilmer Ricciotti	Some integrations to the ng library.	blob \| commitdiff \| raw \| diff to current
2010-02-19	Andrea Asperti	(no commit message)	blob \| commitdiff \| raw \| diff to current
2010-02-16	Andrea Asperti	Minor fixings.	blob \| commitdiff \| raw \| diff to current
2010-02-11	Enrico Tassi	minimal sequent height set to 1	blob \| commitdiff \| raw \| diff to current
2010-02-11	Enrico Tassi	some experiment filtering with height	blob \| commitdiff \| raw \| diff to current
2010-02-10	Andrea Asperti	addenda	blob \| commitdiff \| raw \| diff to current
2010-02-02	Andrea Asperti	boolean arithmetics	blob \| commitdiff \| raw \| diff to current
2010-02-01	Andrea Asperti	minus	blob \| commitdiff \| raw \| diff to current
2010-01-29	Andrea Asperti	minus in nat.ma	blob \| commitdiff \| raw \| diff to current
2010-01-27	Andrea Asperti	le_arith	blob \| commitdiff \| raw \| diff to current
2010-01-26	Andrea Asperti	le_arith	blob \| commitdiff \| raw \| diff to current
2010-01-21	Andrea Asperti	Esempio	blob \| commitdiff \| raw \| diff to current
2010-01-18	Andrea Asperti	Updating.	blob \| commitdiff \| raw \| diff to current
2010-01-08	Andrea Asperti	rebuilding the library	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.