coq/plugins/derive/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 






Avoiding introducing yet another convention in naming files.
2015-01-08T18:05:14+00:00

Hugo Herbelin

2015-01-08T17:18:02+00:00

d08532d5344d96d10604760fa44109c9d56e73ce