GraphRewriting.GL.UI
initialise
run
data
LabelledTree
a
showLabelledTree