# HG changeset patch # User paulson # Date 929090023 -7200 # Node ID a42849eeb67485775267f0bf60c657e5d670e57c # Parent 4267539284be5891c05b275ae2f012383f32069c new UNITY files diff -r 4267539284be -r a42849eeb674 src/HOL/IsaMakefile --- a/src/HOL/IsaMakefile Thu Jun 10 16:46:59 1999 +0200 +++ b/src/HOL/IsaMakefile Fri Jun 11 10:33:43 1999 +0200 @@ -168,12 +168,14 @@ HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz $(LOG)/HOL-UNITY.gz: $(OUT)/HOL UNITY/ROOT.ML\ + UNITY/Alloc.ML UNITY/Alloc.thy\ UNITY/Channel.ML UNITY/Channel.thy UNITY/Common.ML UNITY/Common.thy\ UNITY/Client.ML UNITY/Client.thy UNITY/Comp.ML UNITY/Comp.thy\ UNITY/Deadlock.ML UNITY/Deadlock.thy UNITY/FP.ML UNITY/FP.thy\ UNITY/Union.ML UNITY/Union.thy UNITY/Handshake.ML UNITY/Handshake.thy\ UNITY/Extend.ML UNITY/Extend.thy\ UNITY/Follows.ML UNITY/Follows.thy\ + UNITY/GenPrefix.thy UNITY/GenPrefix.ML \ UNITY/LessThan.ML UNITY/LessThan.thy UNITY/ListOrder.thy\ UNITY/Mutex.ML UNITY/Mutex.thy\ UNITY/Network.ML UNITY/Network.thy UNITY/Reach.ML UNITY/Reach.thy\