changed hide_lams for opaque_lifting as suggested by Isabelle/Jenkins
Description
Description
Details
Details
- Provenance
yonoteam <jonjulian23@gmail.com> Authored on - Parents
- rAFP9c417896a51d: Added missing Public_Announcement_Logic to ROOTS file
- Branches
- Unknown
- Tags