1
2 (* $Id$ *)
3
4 header {* Example 3.8 *}
1 header {* Example 3.8 *}
5
2
6 theory Ex2
3 theory Ex2
7 imports LCF
4 imports LCF
8 begin
5 begin