equal
deleted
inserted
replaced
34 Nat: FOL $(LOG)/FOL-Nat.gz |
34 Nat: FOL $(LOG)/FOL-Nat.gz |
35 |
35 |
36 FOL: |
36 FOL: |
37 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
37 @cd $(SRC)/FOL; $(ISATOOL) make FOL |
38 |
38 |
39 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.ML Nat/NatClass.thy |
39 $(LOG)/FOL-Nat.gz: $(OUT)/FOL Nat/ROOT.ML Nat/NatClass.thy |
40 @$(USEDIR) $(OUT)/FOL Nat |
40 @$(USEDIR) $(OUT)/FOL Nat |
41 @rm -f Nat/document/*.sty Nat/document/session.tex |
41 @rm -f Nat/document/*.sty Nat/document/session.tex |
42 |
42 |
43 |
43 |
44 ## clean |
44 ## clean |