/src/HOL/HOLCF/IOA/ABP/ default tip
drwxr-xr-x [up]
-rw-r--r-- 2025-07-22 12:02 +0200 2434 Abschannel.thy
-rw-r--r-- 2025-07-22 12:02 +0200 1669 Abschannel_finite.thy
-rw-r--r-- 2025-07-22 12:02 +0200 302 Action.thy
-rw-r--r-- 2025-07-22 12:02 +0200 7198 Check.ML
-rw-r--r-- 2025-07-22 12:02 +0200 10327 Correctness.thy
-rw-r--r-- 2025-07-22 12:02 +0200 952 Env.thy
-rw-r--r-- 2025-07-22 12:02 +0200 862 Impl.thy
-rw-r--r-- 2025-07-22 12:02 +0200 985 Impl_finite.thy
-rw-r--r-- 2025-07-22 12:02 +0200 1192 Lemmas.thy
-rw-r--r-- 2025-07-22 12:02 +0200 318 Packet.thy
-rw-r--r-- 2025-07-22 12:02 +0200 1571 Receiver.thy
-rw-r--r-- 2025-07-22 12:02 +0200 1546 Sender.thy
-rw-r--r-- 2025-07-22 12:02 +0200 964 Spec.thy