Session IOA-ABP

Theories

• Packet
• Action
• Env
• Lemmas
• Sender
• Receiver
• Abschannel
• Impl
• Abschannel_finite
• Impl_finite
• Correctness
  • File ‹Check.ML›
• Spec