/src/HOL/IOA/ABP/
drwxr-xr-x [up]
-rw-r--r-- 1996-10-07 10:28 +0200 2790 Abschannel.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1975 Abschannel_finite.thy
-rw-r--r-- 1996-10-07 10:28 +0200 346 Action.ML
-rw-r--r-- 1996-10-07 10:28 +0200 377 Action.thy
-rw-r--r-- 1996-10-07 10:28 +0200 6674 Check.ML
-rw-r--r-- 1996-10-07 10:28 +0200 14501 Correctness.ML
-rw-r--r-- 1996-10-07 10:28 +0200 1118 Correctness.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1454 Env.thy
-rw-r--r-- 1996-10-07 10:28 +0200 786 Impl.thy
-rw-r--r-- 1996-10-07 10:28 +0200 893 Impl_finite.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1513 Lemmas.ML
-rw-r--r-- 1996-10-07 10:28 +0200 181 Lemmas.thy
-rw-r--r-- 1996-10-07 10:28 +0200 319 Packet.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1233 ROOT.ML
-rw-r--r-- 1996-10-07 10:28 +0200 363 Read_me
-rw-r--r-- 1996-10-07 10:28 +0200 2125 Receiver.thy
-rw-r--r-- 1996-10-07 10:28 +0200 2105 Sender.thy
-rw-r--r-- 1996-10-07 10:28 +0200 1139 Spec.thy