1 theory SingleLet

     1 theory SingleLet

     2 imports "../Nominal2" 

     2 imports "../Nominal2" 

     3 begin

     3 begin

     4 

     9 

     5 atom_decl name

    10 atom_decl name

     6 

    11 

     7 declare [[STEPS = 100]]

    12 declare [[STEPS = 100]]

     8 

    13