include "delayed_updating/syntax/preterm_constructors.ma".
(* DEPHI FOR PRETERM ********************************************************)
include "delayed_updating/syntax/preterm_constructors.ma".
(* DEPHI FOR PRETERM ********************************************************)