---++ Tools

%STARTINCLUDE%
	* [[ParseUnit][parse-unit]] -- unit testing of SDF2 syntax definitions
	* [[GenRenamedSdfModule][gen-renamed-sdf-module]] -- generates an SDF module that renames all sorts in an SDF syntax definition
	* [[SdfToAstConflicts][sdf2ast-conflicts]] -- generates a list of illegal patterns in a AST
	* [[SdfToParenthesize][sdf2parenthesize]] -- generates a tool that adds all required parentheses to an AST
%STOPINCLUDE%

	* [[SdfLabel][sdf-label]]
	* [[SdfCons][sdf-cons]]

	* ...