src/HOL/UNITY/ROOT.ML

--- a/src/HOL/UNITY/ROOT.ML	Wed Aug 05 10:56:58 1998 +0200
+++ b/src/HOL/UNITY/ROOT.ML	Wed Aug 05 10:57:25 1998 +0200
@@ -19,3 +19,4 @@
 time_use_thy "Mutex";
 time_use_thy "FP";
 time_use_thy "Reach";
+time_use_thy "Handshake";