eliminated Specification.definition', following Isabelle/6876e3d5e362;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP72c37b1f419b: clarified signature: more scalable operations, according to…
- Branches
- Unknown
- Tags