1    

     1    

     2 theory Spec

     2 theory Spec

     3   imports RegLangs

     3   imports RegLangs

     4 begin

     4 begin

     5 

     7 

     6 

     8 

     7 section {* "Plain" Values *}

     9 section {* "Plain" Values *}

     8 

    10 

     9 datatype val = 

    11 datatype val =