Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. add names for some lemmas in PSemigroupConvolution
Changeset 8092:c9d9a2579e4e by victor gomes _vb358@cam.ac.uk_:
add names for some lemmas in PSemigroupConvolution
The file was modified thys/PSemigroupsConvolution/Binary_Modalities.thy (diff)
The file was modified thys/PSemigroupsConvolution/Partial_Semigroup_Lifting.thy (diff)