1
2 section {* Prefixpoints *}
2 section \<open>Prefixpoints\<close>
3
4 theory Ex4
5 imports "../LCF"
6 begin
7