equal
deleted
inserted
replaced
785 ## HOL-UNITY |
785 ## HOL-UNITY |
786 |
786 |
787 HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz |
787 HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz |
788 |
788 |
789 $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ |
789 $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ |
790 UNITY/UNITY_Main.thy UNITY/UNITY_Examples.thy UNITY/UNITY_tactics.ML \ |
790 UNITY/UNITY_Main.thy UNITY/UNITY_tactics.ML UNITY/Comp.thy \ |
791 UNITY/Comp.thy UNITY/Constrains.thy UNITY/Detects.thy UNITY/ELT.thy \ |
791 UNITY/Constrains.thy UNITY/Detects.thy UNITY/ELT.thy \ |
792 UNITY/Extend.thy UNITY/FP.thy UNITY/Follows.thy UNITY/Guar.thy \ |
792 UNITY/Extend.thy UNITY/FP.thy UNITY/Follows.thy UNITY/Guar.thy \ |
793 UNITY/Lift_prog.thy UNITY/ListOrder.thy UNITY/ProgressSets.thy \ |
793 UNITY/Lift_prog.thy UNITY/ListOrder.thy UNITY/ProgressSets.thy \ |
794 UNITY/PPROD.thy UNITY/Project.thy UNITY/Rename.thy \ |
794 UNITY/PPROD.thy UNITY/Project.thy UNITY/Rename.thy \ |
795 UNITY/Transformers.thy UNITY/SubstAx.thy UNITY/UNITY.thy \ |
795 UNITY/Transformers.thy UNITY/SubstAx.thy UNITY/UNITY.thy \ |
796 UNITY/Union.thy UNITY/WFair.thy UNITY/Simple/Channel.thy \ |
796 UNITY/Union.thy UNITY/WFair.thy UNITY/Simple/Channel.thy \ |