]>
2009-05-11 | Andrea Asperti | More automation | blob | commitdiff | raw |
2008-05-18 | Claudio Sacerdoti... | Dummy dependent types are no longer cleaned in inductiv... | blob | commitdiff | raw | diff to current |
2008-03-26 | Wilmer Ricciotti | Reorganization of list library (step 1) | blob | commitdiff | raw | diff to current |
2008-03-23 | Enrico Tassi | Fsub moved in contribs | blob | commitdiff | raw | diff to current |