/src/HOL/HOLCF/IOA/ABP/
drwxr-xr-x [up]
-rw-r--r-- 2010-11-27 16:08 -0800 2415 Abschannel.thy
-rw-r--r-- 2010-11-27 16:08 -0800 1644 Abschannel_finite.thy
-rw-r--r-- 2010-11-27 16:08 -0800 287 Action.thy
-rw-r--r-- 2010-11-27 16:08 -0800 7084 Check.ML
-rw-r--r-- 2010-11-27 16:08 -0800 9818 Correctness.thy
-rw-r--r-- 2010-11-27 16:08 -0800 910 Env.thy
-rw-r--r-- 2010-11-27 16:08 -0800 783 Impl.thy
-rw-r--r-- 2010-11-27 16:08 -0800 899 Impl_finite.thy
-rw-r--r-- 2010-11-27 16:08 -0800 940 Lemmas.thy
-rw-r--r-- 2010-11-27 16:08 -0800 296 Packet.thy
-rw-r--r-- 2010-11-27 16:08 -0800 179 ROOT.ML
-rw-r--r-- 2010-11-27 16:08 -0800 363 Read_me
-rw-r--r-- 2010-11-27 16:08 -0800 1528 Receiver.thy
-rw-r--r-- 2010-11-27 16:08 -0800 1503 Sender.thy
-rw-r--r-- 2010-11-27 16:08 -0800 918 Spec.thy