XIsabelle provides a graphical interface to Isabelle [3]. Described here are the components of this interface, and some discussion of the motivation and applications of this work.
['Maris A. Ozols', 'Anthony Cant', 'Katherine A. Eastaughffe']
XIsabelle: A System Description