(**************************************************************************)
include "delayed_updating/substitution/fsubst.ma".
(**************************************************************************)
include "delayed_updating/substitution/fsubst.ma".