]>
2007-01-29 | Claudio Sacerdoti... | More work on setoids. | blob | commitdiff | raw |
2007-01-07 | Claudio Sacerdoti... | Porting of setoids.ma from Coq continued. | blob | commitdiff | raw | diff to current |
2007-01-07 | Claudio Sacerdoti... | Bug fixed in definition of cic:/.../setoids/make_compat... | blob | commitdiff | raw | diff to current |
2006-11-23 | Andrea Asperti | Fixed a call to auto, and commented the remaining part. | blob | commitdiff | raw | diff to current |
2006-11-23 | Andrea Asperti | Minor changes. | blob | commitdiff | raw | diff to current |
2006-09-27 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2006-09-27 | Claudio Sacerdoti... | More work on the translation of technicalities/setoids.ma. | blob | commitdiff | raw | diff to current |
2006-09-27 | Claudio Sacerdoti... | Initial work on setoids: | blob | commitdiff | raw | diff to current |