Proof general in Eclipse: system and architecture overview. - David Aspinall 001; Daniel Winterstein; Christoph Lüth; Ahsan Fayyaz (ETX, 2006)