aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/funind/rawtermops.ml
Commit message (Expand)AuthorAge
* Julien:Gravatar bertot2006-02-17
* New version of functional induction / inversion. By Julien Forest,Gravatar coq2006-02-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-01 02:32:49 +0000