/images/
../
ProofGeneral.xcf
README
blank.xcf
fireworks.xcf
goal.xbm
goal.xcf
goal.xpm
goal_large.xcf
next.xcf
next.xpm
notes.txt
qed.xbm
qed.xcf
qed.xpm
restart.xbm
restart.xcf
restart.xpm
retract.xcf
retract.xpm
undo.xcf
undo.xpm
use.xcf
use.xpm