| changeset 28213 | b52f9205a02d |
| parent 26855 | 7bb3d2ee0606 |
| child 28500 | 4b79e5d3d0aa |
| 28212:44831b583999 | 28213:b52f9205a02d |
|---|---|
21 |
21 |
22 THY = $(LOG)/HOL-Thy.gz |
22 THY = $(LOG)/HOL-Thy.gz |
23 |
23 |
24 Thy: $(THY) |
24 Thy: $(THY) |
25 |
25 |
26 $(THY): Thy/ROOT.ML Thy/Codegen.thy ../../antiquote_setup.ML |
26 $(THY): Thy/ROOT.ML Thy/*.thy ../../antiquote_setup.ML |
27 @$(USEDIR) HOL Thy |
27 @$(USEDIR) HOL Thy |
28 |
28 |
29 |
29 |
30 ## clean |
30 ## clean |
31 |
31 |