Integrated many contributions by Benoit Ballenghuin.
- shorter proofs in CSP
- theory CSP_Induct
- theory Renaming
- updates on documentation
Description
Description
Details
Details
- Provenance
Burkhart Wolff <wolff@lri.fr> Authored on - Parents
- rAFPc1e65e2b7a5f: merged
- Branches
- Unknown
- Tags