equal
deleted
inserted
replaced
383 $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ |
383 $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ |
384 UNITY/UNITY_Main.thy UNITY/UNITY_tactics.ML \ |
384 UNITY/UNITY_Main.thy UNITY/UNITY_tactics.ML \ |
385 UNITY/Comp.thy UNITY/Constrains.thy UNITY/Detects.thy UNITY/ELT.thy \ |
385 UNITY/Comp.thy UNITY/Constrains.thy UNITY/Detects.thy UNITY/ELT.thy \ |
386 UNITY/Extend.thy UNITY/FP.thy UNITY/Follows.thy \ |
386 UNITY/Extend.thy UNITY/FP.thy UNITY/Follows.thy \ |
387 UNITY/Guar.thy UNITY/Lift_prog.thy UNITY/ListOrder.thy \ |
387 UNITY/Guar.thy UNITY/Lift_prog.thy UNITY/ListOrder.thy \ |
388 UNITY/PPROD.thy UNITY/Project.thy UNITY/Rename.thy \ |
388 UNITY/PPROD.thy UNITY/Project.thy UNITY/Rename.thy UNITY/Transformers.thy \ |
389 UNITY/SubstAx.thy UNITY/UNITY.thy UNITY/Union.thy UNITY/WFair.thy \ |
389 UNITY/SubstAx.thy UNITY/UNITY.thy UNITY/Union.thy UNITY/WFair.thy \ |
390 UNITY/Simple/Channel.thy UNITY/Simple/Common.thy \ |
390 UNITY/Simple/Channel.thy UNITY/Simple/Common.thy \ |
391 UNITY/Simple/Deadlock.thy UNITY/Simple/Lift.thy UNITY/Simple/Mutex.thy \ |
391 UNITY/Simple/Deadlock.thy UNITY/Simple/Lift.thy UNITY/Simple/Mutex.thy \ |
392 UNITY/Simple/NSP_Bad.ML UNITY/Simple/NSP_Bad.thy \ |
392 UNITY/Simple/NSP_Bad.ML UNITY/Simple/NSP_Bad.thy \ |
393 UNITY/Simple/Network.thy\ |
393 UNITY/Simple/Network.thy\ |