.
stratego-rtg	stratego-rtg.str
stratego/rtg
determinize	determinize.str
dfta-accept	dfta-accept.str
dfta-format-check	dfta-format-check.str
format-check	format-check.str
normalize	normalize.str
parse	parse.str
reduce	reduce.str
signature	signature.str
simplify	simplify.str
util	util.str