Oh, I forgot: The bug has showed itself on several systems in several version of Hugs. (HP/Sun) (1.2/1.3/1.4) Koen. -- Koen Claessen, [EMAIL PROTECTED], http://www.cs.chalmers.se/~koen, Chalmers University of Technology.
Oh, I forgot: The bug has showed itself on several systems in several version of Hugs. (HP/Sun) (1.2/1.3/1.4) Koen. -- Koen Claessen, [EMAIL PROTECTED], http://www.cs.chalmers.se/~koen, Chalmers University of Technology.