matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic/libraryObjects.mli

]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/cic/libraryObjects.mli

2009-05-14	Ferruccio Guidi	- libraryObjects: new default "natural numbers" with...	blob \| commitdiff \| raw
2008-01-10	Enrico Tassi	BIG FAT WARNING: DEVELOPMENTS DIE HERE	blob \| commitdiff \| raw \| diff to current
2007-07-13	Claudio Sacerdoti...	Dirty patch by Zack: natural numbers of Matita are...	blob \| commitdiff \| raw \| diff to current
2007-07-04	Claudio Sacerdoti...	Quick hack: matita natural numbers are now accepted...	blob \| commitdiff \| raw \| diff to current
2007-02-08	Claudio Sacerdoti...	* 'default "equality"' command changed to consider...	blob \| commitdiff \| raw \| diff to current
2006-11-27	Andrea Asperti	Added in_eq_uris.	blob \| commitdiff \| raw \| diff to current
2006-07-22	Enrico Tassi	matitaprover	blob \| commitdiff \| raw \| diff to current
2006-06-16	Enrico Tassi	some more on equalities	blob \| commitdiff \| raw \| diff to current
2006-06-09	Claudio Sacerdoti...	1. the default for the default equality/absurd/true...	blob \| commitdiff \| raw \| diff to current
2006-05-16	Enrico Tassi	better exception	blob \| commitdiff \| raw \| diff to current
2006-04-27	Andrea Asperti	Added is_trans_eq_URI and is_sym_eq_URI	blob \| commitdiff \| raw \| diff to current
2006-02-03	Stefano Zacchiroli	- renamed ocaml/ to components/	blob \| commitdiff \| raw \| diff to current

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