matita.cs.unibo.it Git - helm.git/history - helm/software/matita/nlibrary/sets/partitions.ma

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

[helm.git] / helm / software / matita / nlibrary / sets / partitions.ma

2010-02-03	Claudio Sacerdoti...	Curryfication of binary setoids.	blob \| commitdiff \| raw
2010-01-18	Claudio Sacerdoti...	More // everywhere.	blob \| commitdiff \| raw \| diff to current
2009-10-28	Claudio Sacerdoti...	Different aliases, better equality inferred.	blob \| commitdiff \| raw \| diff to current
2009-10-28	Claudio Sacerdoti...	instances	blob \| commitdiff \| raw \| diff to current
2009-10-16	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2009-10-05	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-10-05	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-10-04	Claudio Sacerdoti...	Does not compile! Wrong unification hint?	blob \| commitdiff \| raw \| diff to current
2009-10-04	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-09-29	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-09-28	Enrico Tassi	non ho resistito!	blob \| commitdiff \| raw \| diff to current
2009-09-28	Claudio Sacerdoti...	Experiment...	blob \| commitdiff \| raw \| diff to current
2009-09-21	Enrico Tassi	huge commit regarding universes:	blob \| commitdiff \| raw \| diff to current
2009-09-18	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-09-15	Enrico Tassi	improved check in delift for flexible lc entries.	blob \| commitdiff \| raw \| diff to current
2009-09-14	Claudio Sacerdoti...	New tactics ncut and nlapply.	blob \| commitdiff \| raw \| diff to current
2009-09-10	Enrico Tassi	ok, but slow on includes	blob \| commitdiff \| raw \| diff to current
2009-09-08	Enrico Tassi	snapshot for CSC	blob \| commitdiff \| raw \| diff to current
2009-08-24	Claudio Sacerdoti...	Nicer proof "finished" (up to arithmetical facts).	blob \| commitdiff \| raw \| diff to current
2009-08-21	Claudio Sacerdoti...	Towards a simplified proof.	blob \| commitdiff \| raw \| diff to current
2009-08-21	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-20	Claudio Sacerdoti...	Injectivity proved! What a mess...	blob \| commitdiff \| raw \| diff to current
2009-08-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-20	Claudio Sacerdoti...	- Bug fixed in definition of big_op.	blob \| commitdiff \| raw \| diff to current
2009-08-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-19	Claudio Sacerdoti...	One half done.	blob \| commitdiff \| raw \| diff to current
2009-08-19	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-18	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-18	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-18	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-14	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2009-08-14	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current

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

RSS Atom