1.1 --- a/src/HOL/IsaMakefile Fri Mar 03 21:02:45 2000 +0100
1.2 +++ b/src/HOL/IsaMakefile Sat Mar 04 11:42:12 2000 +0100
1.3 @@ -239,6 +239,8 @@
1.4 UNITY/Client.ML UNITY/Client.thy UNITY/Comp.ML UNITY/Comp.thy\
1.5 UNITY/Guar.ML UNITY/Guar.thy\
1.6 UNITY/Deadlock.ML UNITY/Deadlock.thy UNITY/FP.ML UNITY/FP.thy\
1.7 + UNITY/Detects.ML UNITY/Detects.thy\
1.8 + UNITY/Reachability.ML UNITY/Reachability.thy\
1.9 UNITY/Union.ML UNITY/Union.thy UNITY/Handshake.ML UNITY/Handshake.thy\
1.10 UNITY/TimerArray.ML UNITY/TimerArray.thy\
1.11 UNITY/Extend.ML UNITY/Extend.thy UNITY/Project.ML UNITY/Project.thy\