aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/opened/6393.v
Commit message (Expand)AuthorAge
* Let dtauto recognize '@sigT A (fun _ => B)' as a conjunctionGravatar Jasper Hugunin2018-01-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-04 16:47:40 +0000