/src/HOL/HOLCF/IOA/NTP/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2025-07-23 13:22 +0200 4666 Abschannel.thy
-rw-r--r-- 2025-07-23 13:22 +0200 395 Action.thy
-rw-r--r-- 2025-07-23 13:22 +0200 3002 Correctness.thy
-rw-r--r-- 2025-07-23 13:22 +0200 11687 Impl.thy
-rw-r--r-- 2025-07-23 13:22 +0200 733 Lemmas.thy
-rw-r--r-- 2025-07-23 13:22 +0200 3083 Multiset.thy
-rw-r--r-- 2025-07-23 13:22 +0200 5755 Overview.thy
-rw-r--r-- 2025-07-23 13:22 +0200 535 Packet.thy
-rw-r--r-- 2025-07-23 13:22 +0200 3827 Receiver.thy
-rw-r--r-- 2025-07-23 13:22 +0200 3583 Sender.thy
-rw-r--r-- 2025-07-23 13:22 +0200 1465 Spec.thy