Los módulos de Core Maude también pueden ser introducidos en Full Maude.