| changeset 10371 | 4015fdd0bcf0 |
| parent 10327 | 19214ac381cf |
| child 10468 | 87dda999deca |
| 10370:99bd3e902979 | 10371:4015fdd0bcf0 |
|---|---|
15 |
15 |
16 \input{Inductive/Even} |
16 \input{Inductive/Even} |
17 \input{Inductive/document/Star} |
17 \input{Inductive/document/Star} |
18 \input{Inductive/document/AB} |
18 \input{Inductive/document/AB} |
19 |
19 |
20 \section{Advanced inductive definitions} |
|
21 \input{Inductive/document/Advanced} |
|
22 |
|
20 \index{inductive definition|)} |
23 \index{inductive definition|)} |
21 \index{*inductive|)} |
24 \index{*inductive|)} |
22 |
|
23 \section{Advanced inductive definitions} |