always reparse nodes with thy_load commands, to update inlined files;
always reparse nodes with thy_load commands, to update inlined files;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle