Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. state + applicative + lens integration
Changeset 8112:9f41cb6d9cfa by lars hupel _lars.hupel@mytum.de_:
state + applicative + lens integration
The file was addedthys/Applicative_Lifting/Applicative_Open_State.thy
The file was addedthys/Optics/Lens_State.thy
The file was modified thys/Applicative_Lifting/Applicative_Functor.thy (diff)
The file was modified thys/Applicative_Lifting/Applicative_State.thy (diff)
The file was modified thys/Applicative_Lifting/Tree_Relabelling.thy (diff)
The file was modified thys/Optics/ROOT (diff)