1
2 (* $Id$ *)
3
4 header {* Addition with fixpoint of successor *}
1 header {* Addition with fixpoint of successor *}
5
2
6 theory Ex3
3 theory Ex3
7 imports LCF
4 imports LCF
8 begin
5 begin