[isabelle-dev] HOLCF problem

[Makarius]

On Sun, 28 Nov 2010, Alexander Krauss wrote:

> The root /etc/components still mentions src/HOLCF. This should either be 
> removed or changed to src/HOL/HOLCF. I removed it for now in 
> 04d44a20fccf.

Since src/HOL/HOLCF has no etc directory there is no point to add it to 
components.  It used to be there to allow makeall to find it, but now it 
is part of HOL.


 	Makarius