Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Proper implicit arguments handling for assumptions | 2008-02-26 | |
* | Some bad emacs messup that was commited... | 2008-02-14 | |
* | Backtrack changes on eauto, move specialized version of eauto in | 2008-02-14 | |
* | Move class_setoid to class_tactics. | 2008-02-13 |