new MakePagePhase(toolcontext, doc),
new POSetPhase(toolcontext, doc),
new ConcernsPhase(toolcontext, doc),
new StructurePhase(toolcontext, doc),
new InheritanceListsPhase(toolcontext, doc),
new IntroRedefListPhase(toolcontext, doc),
new MakePagePhase(toolcontext, doc),
new POSetPhase(toolcontext, doc),
new ConcernsPhase(toolcontext, doc),
new StructurePhase(toolcontext, doc),
new InheritanceListsPhase(toolcontext, doc),
new IntroRedefListPhase(toolcontext, doc),