equal
deleted
inserted
replaced
913 HOL-Proofs-Extraction: HOL-Proofs $(LOG)/HOL-Proofs-Extraction.gz |
913 HOL-Proofs-Extraction: HOL-Proofs $(LOG)/HOL-Proofs-Extraction.gz |
914 |
914 |
915 $(LOG)/HOL-Proofs-Extraction.gz: $(OUT)/HOL-Proofs \ |
915 $(LOG)/HOL-Proofs-Extraction.gz: $(OUT)/HOL-Proofs \ |
916 Library/Efficient_Nat.thy Proofs/Extraction/Euclid.thy \ |
916 Library/Efficient_Nat.thy Proofs/Extraction/Euclid.thy \ |
917 Proofs/Extraction/Greatest_Common_Divisor.thy \ |
917 Proofs/Extraction/Greatest_Common_Divisor.thy \ |
918 Proofs/Extraction/Higman.thy Proofs/Extraction/Pigeonhole.thy \ |
918 Proofs/Extraction/Higman.thy Proofs/Extraction/Higman_Extraction.thy \ |
|
919 Proofs/Extraction/Pigeonhole.thy \ |
919 Proofs/Extraction/QuotRem.thy Proofs/Extraction/ROOT.ML \ |
920 Proofs/Extraction/QuotRem.thy Proofs/Extraction/ROOT.ML \ |
920 Proofs/Extraction/Util.thy Proofs/Extraction/Warshall.thy \ |
921 Proofs/Extraction/Util.thy Proofs/Extraction/Warshall.thy \ |
921 Proofs/Extraction/document/root.tex \ |
922 Proofs/Extraction/document/root.tex \ |
922 Proofs/Extraction/document/root.bib |
923 Proofs/Extraction/document/root.bib |
923 @cd Proofs; $(ISABELLE_TOOL) usedir -p 2 -q 0 $(OUT)/HOL-Proofs Extraction |
924 @cd Proofs; $(ISABELLE_TOOL) usedir -p 2 -q 0 $(OUT)/HOL-Proofs Extraction |