| changeset 2480 | ac7dff1194e8 |
| parent 2479 | a9b6a00b1ba0 |
| child 2519 | 3e9b4ce0aeca |
| 2479:a9b6a00b1ba0 | 2480:ac7dff1194e8 |
|---|---|
18 |
18 |
19 ## Nominal2 |
19 ## Nominal2 |
20 |
20 |
21 tests: $(LOG)/HOL-Nominal2.gz |
21 tests: $(LOG)/HOL-Nominal2.gz |
22 |
22 |
23 #$(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
23 $(LOG)/HOL-Nominal2.gz: Nominal/ROOT.ML Nominal/*.thy |
24 # @cd Nominal; $(USEDIR) -b -d "" HOL Nominal |
24 @cd Nominal; $(USEDIR) -b -d "" HOL Nominal |
25 |
25 |
26 ## Nominal2 Paper |
26 ## Nominal2 Paper |
27 |
27 |
28 paper: $(LOG)/HOL-Nominal2-Paper.gz |
28 paper: $(LOG)/HOL-Nominal2-Paper.gz |
29 |
29 |