| changeset 26779 | 35809287ab23 |
| parent 26767 | cc127cc0951b |
| child 26782 | 19363c70b5c4 |
| 26778:378bdbce68e6 | 26779:35809287ab23 |
|---|---|
20 ## Thy |
20 ## Thy |
21 |
21 |
22 Thy: $(LOG)/HOL-Thy.gz |
22 Thy: $(LOG)/HOL-Thy.gz |
23 |
23 |
24 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \ |
24 $(LOG)/HOL-Thy.gz: Thy/ROOT.ML ../antiquote_setup.ML Thy/intro.thy \ |
25 Thy/pure.thy Thy/syntax.thy |
25 Thy/pure.thy Thy/syntax.thy Thy/Quick_Reference.thy |
26 @$(USEDIR) HOL Thy |
26 @$(USEDIR) HOL Thy |
27 |
27 |
28 |
28 |
29 ## clean |
29 ## clean |
30 |
30 |