Skip to content
Failed

Changes

Summary

  1. merged
  2. tuned infixes
Changeset 8680:3e8f0a66bdb9 by nipkow:
merged
Changeset 8679:1c23f76def79 by nipkow:
tuned infixes
The file was modified thys/HOLCF-Prelude/Data_List.thy (diff)
The file was modified thys/Lp/Functional_Spaces.thy (diff)
The file was modified thys/Nested_Multisets_Ordinals/Signed_Multiset.thy (diff)