clarified signature;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE52e43a93d51f: clarified system_log: make this work independently of the particular "isabelle…
- Branches
- Unknown
- Tags
clarified signature; Tags None Subscribers None
Description
Details
|