equal
deleted
inserted
replaced
18 |
18 |
19 ## sessions |
19 ## sessions |
20 |
20 |
21 HOL-ProgProve: $(LOG)/HOL-ProgProve.gz |
21 HOL-ProgProve: $(LOG)/HOL-ProgProve.gz |
22 |
22 |
23 $(LOG)/HOL-ProgProve.gz: Thys/*.thy Thys/ROOT.ML |
23 $(LOG)/HOL-ProgProve.gz: \ |
|
24 Thys/Basics.thy \ |
|
25 Thys/Bool_nat_list.thy \ |
|
26 Thys/Isar.thy \ |
|
27 Thys/LaTeXsugar.thy \ |
|
28 Thys/Logic.thy \ |
|
29 Thys/MyList.thy \ |
|
30 Thys/Types_and_funs.thy \ |
|
31 Thys/ROOT.ML |
24 @$(USEDIR) -s ProgProve HOL Thys |
32 @$(USEDIR) -s ProgProve HOL Thys |
25 @rm -f Thys/document/MyList.tex |
33 @rm -f Thys/document/MyList.tex |
26 @rm -f Thys/document/isabelle.sty |
34 @rm -f Thys/document/isabelle.sty |
27 @rm -f Thys/document/isabellesym.sty |
35 @rm -f Thys/document/isabellesym.sty |
28 @rm -f Thys/document/pdfsetup.sty |
36 @rm -f Thys/document/pdfsetup.sty |