coq/plugins/ssr/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
Merge the ssr plugin.
2017-06-06T15:41:37+00:00
Maxime Dénès
2017-05-21T12:50:25+00:00
014749917e5de9fe1885a1b1edc52b01cefa6f3f