equal
deleted
inserted
replaced
1 (* Title: HOL/IOA/NTP/Packet.thy |
1 (* Title: HOL/IOA/NTP/Packet.thy |
2 ID: $Id$ |
|
3 Author: Tobias Nipkow & Konrad Slind |
2 Author: Tobias Nipkow & Konrad Slind |
4 *) |
3 *) |
5 |
4 |
6 theory Packet |
5 theory Packet |
7 imports Multiset |
6 imports Multiset |