1 (*<*)theory Ind = Main:(*>*)
1 (*<*)theory Ind imports Main begin(*>*)
2
3 section{*Inductive Definitions*}
4
5
6 subsection{*Even Numbers*}