equal
deleted
inserted
replaced
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} |
20 \section{Advanced inductive definitions} |
21 \input{Inductive/document/Advanced} |
21 \input{Inductive/Advanced} |
22 |
22 |
23 \index{inductive definition|)} |
23 \index{inductive definition|)} |
24 \index{*inductive|)} |
24 \index{*inductive|)} |