src/HOL/IsaMakefile
changeset 28798 a0dd52dd7b55
parent 28742 07073b1087dd
child 28825 415c7ffeb4cb
equal deleted inserted replaced
28797:9dcd32ee5dbe 28798:a0dd52dd7b55
  1014 
  1014 
  1015 
  1015 
  1016 ## clean
  1016 ## clean
  1017 
  1017 
  1018 clean:
  1018 clean:
  1019 	@rm -f  $(OUT)/HOL-Plain $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
  1019 	@rm -f  $(OUT)/HOL-Plain $(OUT)/HOL-Main $(OUT)/HOL $(OUT)/HOL-Nominal $(OUT)/TLA \
  1020 		$(LOG)/HOL.gz $(LOG)/TLA.gz \
  1020 		$(LOG)/HOL.gz $(LOG)/TLA.gz \
  1021 		$(LOG)/HOL-Isar_examples.gz $(LOG)/HOL-Induct.gz \
  1021 		$(LOG)/HOL-Isar_examples.gz $(LOG)/HOL-Induct.gz \
  1022 		$(LOG)/HOL-ex.gz $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \
  1022 		$(LOG)/HOL-ex.gz $(LOG)/HOL-Subst.gz $(LOG)/HOL-IMP.gz \
  1023 		$(LOG)/HOL-IMPP.gz $(LOG)/HOL-Hoare.gz \
  1023 		$(LOG)/HOL-IMPP.gz $(LOG)/HOL-Hoare.gz \
  1024 		$(LOG)/HOL-HoareParallel.gz \
  1024 		$(LOG)/HOL-HoareParallel.gz \