thys/Re.thy
changeset 9 9e4b64c51fa1
parent 8 a605dda64267
child 10 14d41b5b57b3
equal deleted inserted replaced
8:a605dda64267 9:9e4b64c51fa1
       
     1 (*test*)
       
     2 
     1 theory Re
     3 theory Re
     2   imports "Main" 
     4   imports "Main" 
     3 begin
     5 begin
     4 
     6 
     5 section {* Sequential Composition of Sets *}
     7 section {* Sequential Composition of Sets *}