-
Léon Gondelman authored
wip on combine function (need for vcg_sp) : need to check the new definition of vcg_sp and reprove the correctness of vcg_wp; NB: combine_function is implemented in an inefficient way (should be reimplemented using sorting functions on lists)
4661f503