tuned signature, according to Isabelle/28a582aa25dd;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFPcb975509a607: eliminated Specification.definition', following Isabelle/6876e3d5e362;
- Branches
- Unknown
- Tags
tuned signature, according to Isabelle/28a582aa25dd; Tags None Subscribers None |