| changeset 3186 | 425b4c406d80 |
| parent 3173 | 9876d73adb2b |
| child 3200 | 995d47b09ab4 |
| 3185:3641530002d6 | 3186:425b4c406d80 |
|---|---|
28 tests: $(LOG)/HOL-Nominal2-tests.gz |
28 tests: $(LOG)/HOL-Nominal2-tests.gz |
29 |
29 |
30 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy |
30 $(LOG)/HOL-Nominal2-tests.gz: Nominal/ROOT.ML Nominal/*.thy |
31 @$(USEDIR) HOL Nominal |
31 @$(USEDIR) HOL Nominal |
32 @$(USEDIR) HOL Tutorial |
32 @$(USEDIR) HOL Tutorial |
33 @$(USEDIR) HOL Nominal/Ex/CPS |
|
33 |
34 |
34 ## ESOP Paper |
35 ## ESOP Paper |
35 |
36 |
36 esop: $(LOG)/HOL-ESOP-Paper.gz |
37 esop: $(LOG)/HOL-ESOP-Paper.gz |
37 |
38 |