Credits

• Search Engine: P.J.Leonard (P.J.Leonard@bath.ac.uk), Jon Hobley
• Board manager and Generic Features: Bruce Cropley (bc@tpg.tpg.oz.au) Giovanni Pezzino (pezzino@cres.it)
• WATCOM port: Herb Wheeler (herbw@oanet.com)
• TEAMGO coordinator: Gary Boos (gary.boos@bbs.mhv.net)
• Proof Number Help: L. Victor Allis ( http://www.cs.vu.nl/ victor/thesis.html )