496 |
496 |
497 |
497 |
498 ## clean |
498 ## clean |
499 |
499 |
500 clean: |
500 clean: |
501 @rm -f $(OUT)/HOL $(OUT)/HOL-Real $(LOG)/HOL.gz $(LOG)/HOL-Subst.gz \ |
501 @rm -f $(OUT)/HOL $(OUT)/HOL-Real $(OUT)/TLA \ |
502 $(LOG)/HOL-IMP.gz $(LOG)/HOL-IMPP.gz $(LOG)/HOL-Hoare.gz \ |
502 $(LOG)/HOL.gz $(LOG)/HOL-Real.gz $(LOG)/TLA.gz \ |
503 $(LOG)/HOL-Induct.gz $(LOG)/HOL-Lex.gz $(LOG)/HOL-Algebra.gz \ |
503 $(LOG)/HOL-Isar_examples.gz $(LOG)/HOL-Induct.gz \ |
504 $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \ |
504 $(LOG)/HOL-ex.gz $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \ |
505 $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \ |
505 $(LOG)/HOL-IMPP.gz $(LOG)/HOL-Hoare.gz \ |
506 $(LOG)/HOL-W0.gz $(LOG)/HOL-MiniML.gz $(LOG)/HOL-BCV.gz $(LOG)/HOL-IOA.gz \ |
506 $(LOG)/HOL-Lex.gz $(LOG)/HOL-Algebra.gz \ |
507 $(LOG)/HOL-AxClasses-Group.gz \ |
507 $(LOG)/HOL-Auth.gz $(LOG)/HOL-UNITY.gz \ |
508 $(LOG)/HOL-AxClasses-Lattice.gz \ |
508 $(LOG)/HOL-Modelcheck.gz $(LOG)/HOL-Lambda.gz \ |
509 $(LOG)/HOL-AxClasses-Tutorial.gz $(LOG)/HOL-Quot.gz \ |
509 $(LOG)/HOL-W0.gz $(LOG)/HOL-MiniML.gz \ |
510 $(LOG)/HOL-ex.gz $(LOG)/HOL-Isar_examples.gz $(OUT)/TLA \ |
510 $(LOG)/HOL-BCV.gz $(LOG)/HOL-MicroJava.gz \ |
511 $(LOG)/TLA.gz $(LOG)/TLA-Inc.gz $(LOG)/TLA-Buffer.gz \ |
511 $(LOG)/HOL-IOA.gz $(LOG)/HOL-AxClasses-Group.gz \ |
512 $(LOG)/TLA-Memory.gz $(LOG)/HOL-Real.gz $(LOG)/HOL-Real-ex.gz \ |
512 $(LOG)/HOL-AxClasses-Lattice.gz \ |
513 $(LOG)/HOL-Real-HahnBanach.gz |
513 $(LOG)/HOL-AxClasses-Tutorial.gz $(LOG)/HOL-Real-ex.gz \ |
|
514 $(LOG)/HOL-Real-HahnBanach.gz $(LOG)/TLA-Inc.gz \ |
|
515 $(LOG)/TLA-Buffer.gz $(LOG)/TLA-Memory.gz |