Ideas.Encoding.LinkManager

data LinkManager

makeLinkManager

stateToXML

linkToIndex

linkToExercises

linkToServices

linkToService

linkToExercise

linkToStrategy

linkToRules

linkToExamples

linkToDerivations

linkToRule

linkToRandomExample

linkToTestReport

linkToState

linkToFirsts

linkToApplications

linkToDerivation

linkToMicrosteps