clarified modules;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEea9f2cb22e50: more scalable operations;
- Branches
- Unknown
- Tags
clarified modules;
Description clarified modules;
Details
Event Timelinemakarius mentioned this in rAFP5a2b8f5e016e: clarified signature, according to Isabelle/9d9e7ed01dbb;.Sep 7 2021, 10:51 AM2021-09-07 10:51:21 (UTC+2) makarius mentioned this in rAFP33062a15318c: clarified signature, according to Isabelle/9d9e7ed01dbb;. |