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 *}