1 theory Terms

     1 theory Terms

     3 begin

     3 begin

     4 

     4 

     5 atom_decl name

     5 atom_decl name

     6 

     6 

     7 text {* primrec seems to be genarally faster than fun *}

     7 text {* primrec seems to be genarally faster than fun *}