aboutsummaryrefslogtreecommitdiffhomepage
path: root/pretyping/term_dnet.ml
Commit message (Expand)AuthorAge
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* fix [Search] when the result has no hypothesis & constant comparisonGravatar puech2010-03-11
* Fix bug in dnet.ml, which missed some results when filtering one term against...Gravatar puech2009-10-29
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* - Fix handling of clauses in setoid_rewrite to rewrite under bindersGravatar msozeau2009-04-17
* DISCLAIMERGravatar puech2009-01-17