318 ## HOL-UNITY |
318 ## HOL-UNITY |
319 |
319 |
320 HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz |
320 HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz |
321 |
321 |
322 $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ |
322 $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ |
323 UNITY/Alloc.ML UNITY/Alloc.thy UNITY/AllocBase.ML UNITY/AllocBase.thy \ |
323 UNITY/Comp.ML UNITY/Comp.thy \ |
324 UNITY/Channel.ML UNITY/Channel.thy UNITY/Client.ML UNITY/Client.thy \ |
324 UNITY/Detects.ML UNITY/Detects.thy \ |
325 UNITY/Common.ML UNITY/Common.thy UNITY/Comp.ML UNITY/Comp.thy \ |
325 UNITY/ELT.ML UNITY/ELT.thy UNITY/Extend.ML \ |
326 UNITY/Counter.ML UNITY/Counter.thy UNITY/Counterc.ML UNITY/Counterc.thy \ |
|
327 UNITY/Deadlock.ML UNITY/Deadlock.thy UNITY/Detects.ML \ |
|
328 UNITY/Detects.thy UNITY/ELT.ML UNITY/ELT.thy UNITY/Extend.ML \ |
|
329 UNITY/Extend.thy UNITY/FP.ML UNITY/FP.thy UNITY/Follows.ML \ |
326 UNITY/Extend.thy UNITY/FP.ML UNITY/FP.thy UNITY/Follows.ML \ |
330 UNITY/Follows.thy UNITY/GenPrefix.ML UNITY/GenPrefix.thy \ |
327 UNITY/Follows.thy UNITY/GenPrefix.ML UNITY/GenPrefix.thy \ |
331 UNITY/Guar.ML UNITY/Guar.thy UNITY/Handshake.ML UNITY/Handshake.thy \ |
328 UNITY/Guar.ML UNITY/Guar.thy \ |
332 UNITY/Lift.ML UNITY/Lift.thy UNITY/Lift_prog.ML UNITY/Lift_prog.thy \ |
329 UNITY/Lift_prog.ML UNITY/Lift_prog.thy \ |
333 UNITY/ListOrder.thy UNITY/Mutex.ML UNITY/Mutex.thy UNITY/NSP_Bad.ML \ |
330 UNITY/ListOrder.thy \ |
334 UNITY/NSP_Bad.thy UNITY/Network.ML UNITY/Network.thy \ |
|
335 UNITY/PPROD.ML UNITY/PPROD.thy \ |
331 UNITY/PPROD.ML UNITY/PPROD.thy \ |
336 UNITY/PriorityAux.ML UNITY/PriorityAux.thy \ |
|
337 UNITY/Priority.ML UNITY/Priority.thy \ |
|
338 UNITY/Project.ML UNITY/Project.thy \ |
332 UNITY/Project.ML UNITY/Project.thy \ |
339 UNITY/Reach.ML UNITY/Reach.thy UNITY/Reachability.ML \ |
333 UNITY/Rename.ML UNITY/Rename.thy \ |
340 UNITY/Reachability.thy UNITY/Rename.ML UNITY/Rename.thy \ |
334 UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/UNITY.ML \ |
341 UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/TimerArray.ML \ |
|
342 UNITY/TimerArray.thy UNITY/Token.ML UNITY/Token.thy UNITY/UNITY.ML \ |
|
343 UNITY/UNITY.thy UNITY/Union.ML UNITY/Union.thy UNITY/WFair.ML \ |
335 UNITY/UNITY.thy UNITY/Union.ML UNITY/Union.thy UNITY/WFair.ML \ |
344 UNITY/WFair.thy |
336 UNITY/WFair.thy \ |
|
337 UNITY/Simple/Channel.ML UNITY/Simple/Channel.thy \ |
|
338 UNITY/Simple/Common.ML UNITY/Simple/Common.thy \ |
|
339 UNITY/Simple/Deadlock.ML UNITY/Simple/Deadlock.thy \ |
|
340 UNITY/Simple/Lift.ML UNITY/Simple/Lift.thy \ |
|
341 UNITY/Simple/Mutex.ML UNITY/Simple/Mutex.thy \ |
|
342 UNITY/Simple/NSP_Bad.ML UNITY/Simple/NSP_Bad.thy \ |
|
343 UNITY/Simple/Network.ML UNITY/Simple/Network.thy \ |
|
344 UNITY/Simple/Reach.ML UNITY/Simple/Reach.thy \ |
|
345 UNITY/Simple/Reachability.ML UNITY/Simple/Reachability.thy \ |
|
346 UNITY/Simple/Token.ML UNITY/Simple/Token.thy \ |
|
347 UNITY/Comp/Alloc.ML UNITY/Comp/Alloc.thy \ |
|
348 UNITY/Comp/AllocBase.ML UNITY/Comp/AllocBase.thy \ |
|
349 UNITY/Comp/Client.ML UNITY/Comp/Client.thy \ |
|
350 UNITY/Comp/Counter.ML UNITY/Comp/Counter.thy \ |
|
351 UNITY/Comp/Counterc.ML UNITY/Comp/Counterc.thy \ |
|
352 UNITY/Comp/Handshake.ML UNITY/Comp/Handshake.thy \ |
|
353 UNITY/Comp/PriorityAux.ML UNITY/Comp/PriorityAux.thy \ |
|
354 UNITY/Comp/Priority.ML UNITY/Comp/Priority.thy \ |
|
355 UNITY/Comp/TimerArray.ML UNITY/Comp/TimerArray.thy |
345 @$(ISATOOL) usedir $(OUT)/HOL UNITY |
356 @$(ISATOOL) usedir $(OUT)/HOL UNITY |
346 |
357 |
347 |
358 |
348 ## HOL-Unix |
359 ## HOL-Unix |
349 |
360 |