MDEBAR@BNANDP11.BITNET (michel debar) (04/30/87)
Could some kind sould tell me what the Mathlib project is? Thanks Michel Debar fndp computing centre - rue grandgagnage 21 - 5000 namur - belgium phone= + 32 81 2206 31 earn = mdebar@bnandp11