Existential Type Declarations in Hugs

[Mark Carroll]

On Thu, 3 May 2001 Critterrathman@aol.com wrote:
(snip)
> BTW, what is this "Skolem constant" that's referred to in the error message 
> that I received?

A combination of
http://www.sdsc.edu/~tbailey/teaching/cse151/lectures/chap09a.html and
http://cs.wwc.edu/~aabyan/Logic/normal.html may answer that for you. (-:

(It was too long ago now for me to remember much, and I'm not sure where
my notes are, so I daren't attempt an explanation myself!)

-- Mark