2 imports "Parser"

     2 imports "Parser"

     3 begin

     3 begin

     4 

     4 

     5 text {* example 3 or example 5 from Terms.thy *}

     5 text {* example 3 or example 5 from Terms.thy *}

     6 

     6