Skip to content
Success

Changes

Summary

  1. unused infix
  2. unused infix
Changeset 8635:50f39fad9573 by nipkow:
unused infix
The file was modified thys/SIFUM_Type_Systems/Compositionality.thy (diff)
Changeset 8634:d8cbe9cdda11 by nipkow:
unused infix
The file was modified thys/Dependent_SIFUM_Type_Systems/Compositionality.thy (diff)