equal
deleted
inserted
replaced
452 ## clean |
452 ## clean |
453 |
453 |
454 clean: |
454 clean: |
455 @rm -f $(OUT)/HOL $(OUT)/HOL-Real $(LOG)/HOL.gz $(LOG)/HOL-Subst.gz \ |
455 @rm -f $(OUT)/HOL $(OUT)/HOL-Real $(LOG)/HOL.gz $(LOG)/HOL-Subst.gz \ |
456 $(LOG)/HOL-Induct.gz $(LOG)/HOL-IMP.gz $(LOG)/HOL-Hoare.gz \ |
456 $(LOG)/HOL-Induct.gz $(LOG)/HOL-IMP.gz $(LOG)/HOL-Hoare.gz \ |
457 $(LOG)/HOL-Lex.gz $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \ |
457 $(LOG)/HOL-Lex.gz $(LOG)/HOL-Algebra.gz $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \ |
458 $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \ |
458 $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \ |
459 $(LOG)/HOL-W0.gz $(LOG)/HOL-MiniML.gz $(LOG)/HOL-BCV.gz $(LOG)/HOL-IOA.gz \ |
459 $(LOG)/HOL-W0.gz $(LOG)/HOL-MiniML.gz $(LOG)/HOL-BCV.gz $(LOG)/HOL-IOA.gz \ |
460 $(LOG)/HOL-AxClasses-Group.gz \ |
460 $(LOG)/HOL-AxClasses-Group.gz \ |
461 $(LOG)/HOL-AxClasses-Lattice.gz \ |
461 $(LOG)/HOL-AxClasses-Lattice.gz \ |
462 $(LOG)/HOL-AxClasses-Tutorial.gz $(LOG)/HOL-Quot.gz \ |
462 $(LOG)/HOL-AxClasses-Tutorial.gz $(LOG)/HOL-Quot.gz \ |