equal
deleted
inserted
replaced
15 |
15 |
16 NAME = tutorial |
16 NAME = tutorial |
17 FILES = tutorial.tex basics.tex fp.tex appendix.tex \ |
17 FILES = tutorial.tex basics.tex fp.tex appendix.tex \ |
18 Advanced/advanced.tex \ |
18 Advanced/advanced.tex \ |
19 CTL/ctl.tex \ |
19 CTL/ctl.tex \ |
20 Inductive/inductive.tex Inductive/even-example.tex \ |
20 Inductive/inductive.tex Inductive/document/AB.tex \ |
21 Inductive/advanced-examples.tex \ |
21 Inductive/document/Advanced.tex Inductive/document/Even.tex \ |
|
22 Inductive/document/Mutual.tex Inductive/document/Star.tex \ |
22 Protocol/protocol.tex \ |
23 Protocol/protocol.tex \ |
23 Rules/rules.tex Sets/sets.tex \ |
24 Rules/rules.tex Sets/sets.tex \ |
24 Types/numerics.tex Types/types.tex \ |
25 Types/numerics.tex Types/types.tex \ |
25 Documents/documents.tex \ |
26 Documents/documents.tex \ |
26 ../iman.sty ../ttbox.sty ../extra.sty \ |
27 ../iman.sty ../ttbox.sty ../extra.sty \ |