coq/API/PROPERTIES, branch masterThe formal proof system[API] remove large file containing duplicate interfaces2017-12-27T13:19:59+00:00Enrico Tassi2017-12-22T13:11:55+00:00b37d3f199e4521e2ae20cc96f0f2b04acc36c7cc
... in favor of having Public/Internal sub modules in each and
every module grouping functions according to their intended client.
... in favor of having Public/Internal sub modules in each and
every module grouping functions according to their intended client.
Remove (useless) aliases from the API.2017-06-10T08:33:53+00:00Matej Košík2017-05-29T09:02:06+00:00b6feaafc7602917a8ef86fb8adc9651ff765e710