"Proof General meets IsaWin: Combining Text-Based And Graphical User ..."

David Aspinall, Christoph Lüth (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics