/src/HOL/IOA/NTP/
drwxr-xr-x [up]
-rw-r--r-- 1997-04-08 10:48 +0200 1882 Abschannel.ML
-rw-r--r-- 1997-04-08 10:48 +0200 2588 Abschannel.thy
-rw-r--r-- 1997-04-08 10:48 +0200 354 Action.ML
-rw-r--r-- 1997-04-08 10:48 +0200 412 Action.thy
-rw-r--r-- 1997-04-08 10:48 +0200 3516 Correctness.ML
-rw-r--r-- 1997-04-08 10:48 +0200 405 Correctness.thy
-rw-r--r-- 1997-04-08 10:48 +0200 9725 Impl.ML
-rw-r--r-- 1997-04-08 10:48 +0200 2628 Impl.thy
-rw-r--r-- 1997-04-08 10:48 +0200 5579 Lemmas.ML
-rw-r--r-- 1997-04-08 10:48 +0200 177 Lemmas.thy
-rw-r--r-- 1997-04-08 10:48 +0200 3753 Multiset.ML
-rw-r--r-- 1997-04-08 10:48 +0200 925 Multiset.thy
-rw-r--r-- 1997-04-08 10:48 +0200 374 Packet.ML
-rw-r--r-- 1997-04-08 10:48 +0200 328 Packet.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1009 ROOT.ML
-rw-r--r-- 1997-04-08 10:48 +0200 5713 Read_me
-rw-r--r-- 1997-04-08 10:48 +0200 932 Receiver.ML
-rw-r--r-- 1997-04-08 10:48 +0200 4362 Receiver.thy
-rw-r--r-- 1997-04-08 10:48 +0200 866 Sender.ML
-rw-r--r-- 1997-04-08 10:48 +0200 4073 Sender.thy
-rw-r--r-- 1997-04-08 10:48 +0200 1294 Spec.thy