]>
2008-05-18 | Claudio Sacerdoti... | Dummy dependent types are no longer cleaned in inductiv... | blob | commitdiff | raw |
2007-11-06 | Ferruccio Guidi | new implementation of the destruct tactic, | blob | commitdiff | raw | diff to current |
2007-10-28 | Claudio Sacerdoti... | Nil => nil, Cons => cons | blob | commitdiff | raw | diff to current |
2007-09-09 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2007-09-08 | Enrico Tassi | ... | blob | commitdiff | raw | diff to current |
2007-08-30 | Enrico Tassi | more stuff to reach an intensional definition of finite... | blob | commitdiff | raw | diff to current |