LIBRARY     tptpConfig
DESCRIPTION "TPTP Configuration Binding"
EXPORTS
            loadTPTPConfig
			parseApplicationAliases
			parseApplication
			initAppLabelT
			cloneAppLabelT
			copyAppLabelNode
			destroyAppLabelT
			destroyAppLabelNode
			initParameterT
			cloneParameterT
			copyParameterNode
			destroyParameterT
			destroyParameterNode
			initVariableT
			cloneVariableT
			copyVariableNode
			destroyVariableT
			destroyVariableNode
			getTPTPConfig
			getEnvironmentVariable
