/src/HOLCF/IOA/NTP/
drwxr-xr-x [up]
-rw-r--r-- 1997-12-16 17:58 +0100 2281 Abschannel.ML
-rw-r--r-- 1997-12-16 17:58 +0100 2893 Abschannel.thy
-rw-r--r-- 1997-12-16 17:58 +0100 354 Action.ML
-rw-r--r-- 1997-12-16 17:58 +0100 412 Action.thy
-rw-r--r-- 1997-12-16 17:58 +0100 3499 Correctness.ML
-rw-r--r-- 1997-12-16 17:58 +0100 403 Correctness.thy
-rw-r--r-- 1997-12-16 17:58 +0100 9473 Impl.ML
-rw-r--r-- 1997-12-16 17:58 +0100 2629 Impl.thy
-rw-r--r-- 1997-12-16 17:58 +0100 1055 Lemmas.ML
-rw-r--r-- 1997-12-16 17:58 +0100 177 Lemmas.thy
-rw-r--r-- 1997-12-16 17:58 +0100 3689 Multiset.ML
-rw-r--r-- 1997-12-16 17:58 +0100 926 Multiset.thy
-rw-r--r-- 1997-12-16 17:58 +0100 375 Packet.ML
-rw-r--r-- 1997-12-16 17:58 +0100 328 Packet.thy
-rw-r--r-- 1997-12-16 17:58 +0100 350 ROOT.ML
-rw-r--r-- 1997-12-16 17:58 +0100 5713 Read_me
-rw-r--r-- 1997-12-16 17:58 +0100 934 Receiver.ML
-rw-r--r-- 1997-12-16 17:58 +0100 4370 Receiver.thy
-rw-r--r-- 1997-12-16 17:58 +0100 868 Sender.ML
-rw-r--r-- 1997-12-16 17:58 +0100 4079 Sender.thy
-rw-r--r-- 1997-12-16 17:58 +0100 1300 Spec.thy