Include file:
#include "mcrl2/pbes/tools.h"
add your file description here.
mcrl2/pbes/tools/txt2pbes.h
mcrl2/pbes/transformation_strategy.h
