-
Jean-Christophe Filliâtre authored
this is a first draft (with no Coq realization for the moment) see the comment at the end of the file for discussion
8d29cfeb
this is a first draft (with no Coq realization for the moment) see the comment at the end of the file for discussion