Permutations in Coinductive Graph Representation

Note: ces pages de Celia Picard ont été relogées sur l'espace de Ralph Matthes

All the following code is additional material to the article of the same name by the authors.

The current version is 1.5 (February 2012) and runs under Coq 8.3pl2 and 8.3pl3. Last update February 27, 2012.

Reference [16] in the paper: the final version published in the ECEASST.

A newer and more complete version of the code is available here. It should also be maintained for the future versions of Coq.

Celia Picard