coq/plugins/ssrmatching/vo.itarget, branch master
The formal proof system
Remove remaining vo.itarget files (obsolete since PR #499)
2017-06-10T14:13:54+00:00
Pierre Letouzey
2017-06-10T14:13:54+00:00
79c42e22dd5106dcb85229ceec75331029ab5486
Ssreflect pattern matching facilities
2016-03-02T19:45:18+00:00
Enrico Tassi
2016-03-02T19:45:18+00:00
6c510a0d145d41e7250f121bfd01e0251e41af2c