equal
deleted
inserted
replaced
641 ## HOL-UNITY |
641 ## HOL-UNITY |
642 |
642 |
643 HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz |
643 HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz |
644 |
644 |
645 $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ |
645 $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML \ |
646 UNITY/UNITY_Main.thy UNITY/UNITY_tactics.ML UNITY/Comp.thy \ |
646 UNITY/UNITY_Main.thy UNITY/UNITY_Examples.thy UNITY/UNITY_tactics.ML UNITY/Comp.thy \ |
647 UNITY/Constrains.thy UNITY/Detects.thy UNITY/ELT.thy \ |
647 UNITY/Constrains.thy UNITY/Detects.thy UNITY/ELT.thy \ |
648 UNITY/Extend.thy UNITY/FP.thy UNITY/Follows.thy UNITY/Guar.thy \ |
648 UNITY/Extend.thy UNITY/FP.thy UNITY/Follows.thy UNITY/Guar.thy \ |
649 UNITY/Lift_prog.thy UNITY/ListOrder.thy UNITY/ProgressSets.thy \ |
649 UNITY/Lift_prog.thy UNITY/ListOrder.thy UNITY/ProgressSets.thy \ |
650 UNITY/PPROD.thy UNITY/Project.thy UNITY/Rename.thy \ |
650 UNITY/PPROD.thy UNITY/Project.thy UNITY/Rename.thy \ |
651 UNITY/Transformers.thy UNITY/SubstAx.thy UNITY/UNITY.thy \ |
651 UNITY/Transformers.thy UNITY/SubstAx.thy UNITY/UNITY.thy \ |