tuned: clarified old_theory (in contrast to 4d5342898b1);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE5f6c43eeff90: tuned signature;
- Branches
- Unknown
- Tags
tuned: clarified old_theory (in contrast to 4d5342898b1); Tags None Subscribers None |