Added partial bijective and symmetric lenses. Improved alphabet command generating additional lenses and results. Several additional lens relations, including observational equivalence. Additional theorems throughout. Adaptations for Isabelle 2020.
Description
Description
Details
Details
- Provenance
Simon Foster <simon.foster@york.ac.uk> Authored on - Parents
- rAFPb8e1eebb4b17: merge
- Branches
- Unknown
- Tags