Hi everybody, According to Berend de Boer:

There is a translator for BP, mabe it's easy to adapt this one?

Where is it? Since GPC is essentially BP-compatible now, perhaps we can just use it? Peter e-mail: peter.gerwinski@uni-essen.de home address: D\"usseldorfer Str. 35, 45145 Essen, Germany WWW: http://agnes.dida.physik.uni-essen.de/~peter/