1 theory Config

     1 theory Config

     2 imports "../Base"

     2 imports "../Base"

     3 begin

     3 begin

     4 

     4 

     6 

     6 

     7 

     7 

     8 text {*

     8 text {*

     9   {\bf Problem:} 

     9   {\bf Problem:} 

    10   You would like to enhance your tool with options that can be changed 

    10   You would like to enhance your tool with options that can be changed