1 theory Rec_Def

     8 theory Rec_Def

     2 imports Main

     9 imports Main

     3 begin

    10 begin

     4 

    11 

     5 section {* Recursive functions *}

    12 section {* Recursive functions *}