Adaption to new HOL-CSP core; some stronger compactification theorems.
Description
Description
Details
Details
- Provenance
Burkhart Wolff <wolff@lri.fr> Authored on - Parents
- rAFP62f3ba1828fa: Integrated many contributions by Benoit Ballenghuin.
- Branches
- Unknown
- Tags