1 (* $Id$ *)
2
3 theory HOLCF_Specific
1 theory HOLCF_Specific
4 imports HOLCF
2 imports HOLCF
5 begin
3 begin
6
4
7 chapter {* Isabelle/HOLCF \label{ch:holcf} *}
5 chapter {* Isabelle/HOLCF \label{ch:holcf} *}