*** ECLiPSe fatal error: Fatal signal caught in emulator

I'm not the author of the files causing the error.  It's a lean theorem
prover.  I've attached the files.

Uli 


The ECLiPSe banner with the version number and configuration
(unless visible in the script):

bash$ eclipse
ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.4 #27, Wed May 15 00:13 2002
[eclipse 1]: [start,problem].
nnfp_mm.pl compiled traceable 9028 bytes in 0.00 seconds
leancop_o.pl compiled traceable 2844 bytes in 0.00 seconds
proof_leancop.pl compiled traceable 8460 bytes in 0.01 seconds
start.pl   compiled traceable 276 bytes in 0.01 seconds
problem.pl compiled traceable 1196 bytes in 0.00 seconds

Yes (0.01s cpu)
[eclipse 2]: f('u_7_5', X), prove_formula(X).

*** ECLiPSe fatal error: Fatal signal caught in emulator
ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL
Certain libraries copyright Parc Technologies Ltd
GMP library copyright Free Software Foundation
Version 5.4 #27, Wed May 15 00:13 2002
[eclipse 1]: 





Machine type:

Sun sparc ultra-5_10, PC


Operating system name and version number:

Windows 2000, SunOS 5.7


If graphics is involved, X version number, X server type and window manager:

no

Your .eclipserc and ECLIPSE... environment variables, if used:

no

-- 
Ulrich Scholz

scholz@informatik.tu-darmstadt.de
http://www.intellektik.informatik.tu-darmstadt.de/~scholz/