tuned signature, e.g. for Isabelle/DOF;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEb879d2280a7f: updated to naproche-20221024: minor changes to documentation;
- Branches
- Unknown
- Tags
tuned signature, e.g. for Isabelle/DOF; Tags None Subscribers None |