Proof General meets IsaWin: Combining TextBased and Graphical User Interfaces (2004)

by David Aspinall, Christoph Lüth
Venue:Electronic Notes in Theoretical Computer Science